01_editor
0002-Don-t-generate-manual.html.patch
