New output format for the manual.