When in doubt, always create an issue. It's the best and fastest way to get things noticed. Even if you think it's not worth reporting it usually is!

I could have missed this particular bug for months, hadn't I seen your post and a similar message on the Jolla Store, as I'm almost always signed in to reddit.