Thanks for your replies to my ‘Hello World’. Seems I can post but not reply myself. Using jenny, who isn’t as gentle as the name suggests ;-) I’ll figure it out.

Hello world!