Well, it has something to do with it, for me at least, as two UI elements on a webpage aren't as easy to ignore as a single one is. I'm now using AdGuard's "Element Blocking" feature to hide the red badge, since it's been rendered useless and annoying with this bug. I'm guessing a userscript could strip the number in the browser tab name too, but I don't know how to do that.
So that's why I'm grateful a proper fix is on the way.
A forum community dedicated to TiVo digital video recorder owners and enthusiasts. Come join the discussion about programming, streaming, content, schedules, home theaters, displays, models, reviews, accessories, classifieds, and more!