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.
Very basic, but hopefully workable. We mainly need something to put the docs into, the exact solution does not matter much now.
