mastodon.social is one of the many independent Mastodon servers you can use to participate in the fediverse.
The original server operated by the Mastodon gGmbH non-profit

Administered by:

Server stats:

373K
active users

Zack Whittaker

@GossiTheDog @taylorlorenz this is correct, i'm also seeing this. this is "noindex" code that hides the page from google and other search engines, and almost certainly set in the WaPo CMS.