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