I didn't know that directory. Thanks for the tip! Anyway, this means that the (uncompressed) archive has ~100 MB of GPL-3 text. #wow