@Rusty My understanding is that it's a work in progress. (A lot of things are example content, the same for every server, or aren't present, like the "receipts".)
But it's also logically inconsistent: mastodon.social is listed as a suspend for federating with mstdn.io, but mstdn.io is on probation and only a silence.
It'd definitely be nice if it had a methodology posted, but I don't think defederating the domain would do anything, it's just a website.