@MichaelIsbell It's never a bad thing to file a bug, even if you think someone else must have already done it. Maybe they haven't!