Thank you, #asmecher!
I’ve just filed it as a feature request.
We planned to upgrade ver 3.1.2 to ver 3.3. by the end of the year. Do you think it would be worth waiting for the release of 3.4? We always have a headache when upgrading.
Kind regards,
Zoran