* Remove references to outdated stuff (OsDrawer, old OpenGrok) * Removed GitHub as a code search option (not nearly as flexible as OpenGrok, and updated bi-monthly or so instead of daily.) * General reorganization. Fixes #11842.