undone needless changes to extensions.html