I see @jsonbecker has done a pull request to hide excluded categories as a feature in the Tiny Theme feed. So I guess I’ll just wait that one out instead of wrangling in code myself.