In doc/api/dox_html_header, drop the alphabetical index from the top bar, as it does not work as expected when setting DISABLE_INDEX in the config file (it only yielded the very first index block, i.e. names starting with an underscore). Since there's now a search field, the value of the index is questionable anyway.
Changed paths: