Get back get docs.xml which is used while releasing for the txt2html target And make it use a fixed revision of Txt2Html