release-9
Updated some documentation pages
Documentation for the header checker (#56)
Documentation improvements
Updated some of the documentation.