@jkr - the tabs were inserted by your 624abeec5c, presumably through some automatic setting in your editor that replaced 8 spaces with a tab. This messed up indented formatting in the manual.
624abeec5c