Fix: inadvertent scroll when loading the instructor's extensions tab

(The div with id "view-extensions" conflicts with the tab JS which sets location.hash to "view-x" in order to track the current tab)
Merge pull request #4905 from bradenmacdonald/fix-idde-ui

Fix: inadvertent scroll when loading the instructor's extensions tab