@andypiper oh wow, the whole thing is actually only about 10.5 GB. That's even more awesome. Totally something that can be imported into MySQL without much trouble.

edit: it's compressed so larger than that. Still it's a weird-ass format but at least the official implementation™ for using it is a Java library. I can deal with that.