Modified the <head> tag of the relax 1.3 API documentation using the rehead.py script.
Authored by: bugman 2015-02-06
Parent: [r27577]
Child: [r27579]