Removed the last of the obsolete <a name="$name"></a>" syntax