[progbits]

I don't have anything to add but since you didn't get any comments so far let me just say very nice job. Much easier and faster than navigating this on archive.org. I'll definitely be mirroring the archives later.