For getter-only like these:
1. Shouldn't they be documented as `@readonly`?
2. Is just a public property documented as `@readonly` better than the getter property since it is more concise?  That is, does lack of a `set` mean that we get a JavaScript error when assigning to it or that it is just ignored?

@shunter?