Improved manual built

"extract" is way faster. Additionally, spaces are better preserved
in the manual (especially in indented input files)