/* See bg-tabs.js */