FEATURE: Topic count in category boxes (PR #12756)

GitHub