Yup, someone else posted the original .gov source when it was released by the SEC:

https://news.ycombinator.com/item?id=24259821