Hi Robin,
I would open a ticket if this was reproducible… but I’ve seen it happen at customers once in a while, and then not for multiple weeks… plus the workaround is simply too simple for any single customer to be willing to invest time into troubleshooting this.
Regards,
Gerd