no, this is good. https://addons.mozilla.org/it/firefox/themes/?sort=rating the bug mentions this was for Themes. are those fixed too?