From https://addons.mozilla.org/en-us/firefox/addon/tabgroups-manager/