Documentation Title

[GilShalit]

This is a very small problem but the change may be quite useful:

The documentation page (https://teipublisher.com/exist/apps/tei-publisher/documentation) has the title TEI Publisher, just like the main site. Can we have it changed to TEI Publisher - Documentation (similar to the FAQ and API documentation pages) so that a quick glance at the open tabs will make it easier to find?

Thanks!