Yes, enjoyed that.

The solution to "Overindenting" is not one that I would have thought of; very cunning! As you say the lack of space for content when too far indented is an age old problem and...