Hi, Jarkko, Kai, Thanks a ton for your suggestions and edits!
Hi, Ingo, Thank you many tons for your help and attention to this small patch and a TIP submission! I wasn't expecting such an... immediate response to my small suggestion, honestly. Best regards, Vladis
