Mechalith

Turns out that wp-hide-categories does work, I just missed the ‘update options’ button on the first try. Mea culpa.