I believe the .gov rumor isn’t true, and it’s mainly .edus. I haven’t seen it, though. Waiting for someone to drop a pastebin/other leak, because all the reddit threads showing a source end up getting removed before I can read them.