Protocol members like count, isEmpty, etc that would reasonably be of interest to a user should be documented explicitly. This is so they show up directly in our Jazzy docs.