There’s zero evidence of either of it, just because they got an A record with a .gov at the DNS doesn’t mean this tiny site had any connection back to larger data, and based on my own analysis of how hard every furry hacker on the planet is hitting this, if there was, it would be leaked to the moon already and not speculated on.