(to devs) md2 vs md3

[tempest]

Of course it's a little fat, it's a plain-text format. What surprises me though is that it's not significantly larger than md2. Yes, it would increase the size of the download, whereas md3 would decrease it (however, I'd have to do some tests on how effective compression is on those rather repetitive plain-text files).