Ah well.. Sometimes it’s just that easy 😀
Thank you for implementing this feature already, I really didn’t know about that. Your solution now totally works, we are able to hide unused categories as well as specific categories like “uncategorized”. Well done! Thank you for your good work and quick help on this matter! Ticket can be closed 🙂