[seam-dev] Things to do after committing a change in an xml file of the reference manual?