Is there some reason why the Page class does not have a getSize
function, except the fact that it's trivial to obtain it from .get() ?
I don't think there was a specific design decision not to implement it, other than 'no-one ever needed it'. It's also not entirely clear what 'size' means in this context: the number of characters, the number of bytes in a given encoding.
What is the use case where you think it would be useful?