Thank you so much for stepping in so quickly, @RGJ!
I feel a bit silly now to say on https://community.hiveeyes.org/, even after activating the plugin within settings, we don’t see the option at the place within the category settings where it was before:
Did we miss something here or might there be something wrong with our instance of Discourse? We are running 2.4.0.beta8.