This is a trivial intro message, just to make sure docs can be written and built. May serve as a reference commit on how to add new pages to documentation.
