Clean up history with from the manuals

[fsquillace]

the manuals are filling up the history, it might be better to remove them.

[fsquillace]

Use plain text instead of gizipped file.

This will ensure to avoid messing up with git history