Ask HN: Where is Aaron Swartz's federal court record dump?

In the USA, public access to federal court records is largely behind a paywall known as PACER. In 2009, Aaron Swartz downloaded somewhere between 1% and 25% of those records (~750GB) [1][2].

Where are those documents?

[1] https://en.wikipedia.org/wiki/Aaron_Swartz#PACER [2] https://www.aaronswartzday.org/ny-times-pacer-project/