I noticed that I’m no longer subscribed to any communities from programming.dev, and none of them show up in search. Did we defederate from them? Was it intentional or is something just busted?
It should eventually work. Maybe their site was overloaded or backlogged with federation when you tried it. I'm able to see some of the content there right now in the main feed though.