I have no reason to suspect that the user is not doing the above.

And from the point of devs it doesn't matter. As I wrote earlier, I believe devs (or maybe product owners) should act if they receive a sufficient number of reports like this.