Re-adding addon.js to save/cleanup browser's autohide preference.