or maybe not. It's not the first time I've encountered a persistently annoying bug that isn't being fixed or usefully flagged to the user because for the former case noone is addressing the underlying bug, and for the latter case noone wants to put in a stopgap such as, you know, telling the user what's going on.