> Should this rather be filed as a ticket? Probably. I figured I could write here since I saw other calls for rev bumps previously. What's the preferred way? Regards, André Kaplan