- Fix for bug #3222. Patches submitted by the bug-tracker with formatting "pre" could not be displayed. additionally removed "pre" formatting option on bug-tracker in HEAD, since it seems superfluous.