Update: still not there, but I just realized that overriding global.js defeats the ajax page loading altogether. (My browser was loading a cached version of the page)
So I’m guessing that something in global.js is responsible for overriding the default tab selection?
