Comment by Zambyte

Good question. This seems to be a more official IRS organization: https://github.com/irsgov

I found a link to that organization here[0] at least, so this one at seems to be official.

[0] https://www.irs.gov/businesses/corporations/ides-data-transm...