Just so that I don't have to work it out again: the problem is that boot.ed (and boot.ed.width) need to be adjusted for different text widths, and that isn't being done at the moment.
Just so that I don't have to work it out again: the problem is that boot.ed (and boot.ed.width) need to be adjusted for different text widths, and that isn't being done at the moment.