> But ultimately this is a dilemma for which I have no solution.

There might be one way out.  We could palm off the residues of the text
by character size divisions on the base sizes (which are of no use to us
anyway).  Very preliminary patch attached.

martin