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