Set an explicit title for the RBTools documentation.
Review Request #12266 — Created May 4, 2022 and submitted — Latest diff uploaded
We were using the default Sphinx title of "RBTools <version>
documentation", which tended to have alpha version information in it.
This is really messy. We now use an explicit title of the form:
"RBTools X.Y Documentation".
Built the docs and checked the resulting title on the pages.