Help browser: Move the index construction into pdgui.js, so that it is only done once during startup.