Quick, easy optimization to LargeText

.charAt() was systematically .load()ing the needed text range; but that is
useless to do so. Chances are high that the next .charAt() will hit the same
range as the last call.

Retain the current range and associated CharBuffer as (mutable) instance
variables.