Port changes in about:addons page from gnome-firefox