Added redirects for all renamed user functions for the HTML version of the manual.
Authored by: bugman 2014-09-11
Parent: [r25742]
Child: [r25744]
