Ok, a new version of the dump has been placed in the same location, now including extra_tests, as well as ulpc. projects/ is still excluded.
Updated statistics: ------------------- Number of revisions: 31896 Conversion script run rime: 17h 50mins Dump size (uncompressed): 1.7Gb Dump size (compressed): 391Mb