No, that would be 10002. 10012 is "favorite relays", used by https://jumble.social, https://yakbak.app,

Yakihonne

Home

A censorship and data ownership free protocol, you'll enjoy a fully decentralized media experience.

And probably Nostur, who knows, Nostur has everything.