Yet again, more fixing of tabbing in <pre> tags

<pre> treatment of tabs can go DIAF.