@lpw25 is working on a new cmt-based documentation generator. It's worth keeping this in mind for the new frontend.