Wolfgang

Hi, I have (quick & dirty) added the argument “--title” to the code. If “--title=” is specified, the text is used as the page title. Otherwise, as before, the location...