I’m not sure yet. It might be a feature that still needs to be added. And while we’re at it, it may as well highlight new comments on non-game threads. Let’s get that feature for free, I say.