Adding some small bits of documentation for publishing