Missing #users category

I guess that the pinned post was written and rendered at a time when Discourse didn’t yet use the current formatting for category names.

I see that @brettcannon added a space on About the Core Development category to retrigger rendering and it worked. Thanks!