Thank you for the super-quick response.

The original reported doesn't need any other guidance, so you can close
the ticket if you want.

--
Jiri