Ah, yes, you might be right there.

This does sound like a bug so I’d urge you to report it to the dev list so that it can be fixed for all. :slight_smile: