Applied patch by Andras Mohari <mayday@varoshaza.nagyatad.hu>, slightly modified. * Fixed <> chars (or replaced them with something else, where it was trivial). * weblint complained about <A HREF="...">here</A> being a bad form, so I replaced them with more descriptive text. * Fixed empty <A NAME="..."> tags.