Totally updated the man system - any .xml files in the man directory get xlated to .man, then to .gz. I think it's clever.