Hello everyone,
Is it possible to change the page title displayed in the web browser?
I would naively assume that this is something people commonly want to do, but I could not find any reference in the documentation.
(One could, of course, set the title by manually editing the generated HTML code, but this is not an elegant solution.)
Thanks for any hints,
Benjamin