Bug: Two lines in html/User/Prefs.html need to be swapped

otherwise the html is too broken if externalUserAuth is used. Here is the
patch:

Dirk.

ā€” Prefs.html.orig Fri Aug 8 15:37:39 2003
+++ Prefs.html.new Fri Aug 8 16:18:29 2003
@@ -75,8 +75,8 @@

-% } <& /Elements/TitleBoxEnd &> +% }