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