At some point we should fine a way to generate both the website and the man page from the same source.