true, but anyone who would have had hulahop installed at F-10 time and did
the (guaranteed) update to F11, F12, ... F15 at the right times would still
have this issue now, right?

tbh, it seems to be corner case enough to just say "uninstall and
re-install" but nonetheless...