2300: *workers info fixup
2300: *workers info fixup

"Push and web notifications require service workers, which in turn require workers." - this is clearly not (or no longer) true. See #256 where workers are disabled, but service workers enabled, and service workers create IDB entries on Youtube
ghacksuserjs/ghacks-user.js,ghacksuserjs/ghacks-user.js