Editing *.dox files for integrators, some analyzers.