Who is the "we" behind this fediverse.info? They seem to be missing a couple of server flavours in the post. I can't tell if it's serious or sarcasm.