Revisit const-correctness and restrictness
Add man page to .gitignore