As suggested by k----n, this closes #115; one can now set `main_page_title` in config.yaml, and it's documented in `config.yaml.example` (but commented out)