modified firefox_extension