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