General maintenance of documentation, etc [ci skip]