
Using the revision line means that the revision number is automatically set. The revision number is then included by the HTML and PDF backends in the standard location. In the HTML backend that's alongside the list of authors. In the PDF backend that's on the title page. Closes gh-26851