WebExtensions/TabHiding: Difference between revisions