Has anyone been able to verify whether or not the pages-meta-history.xml dumps for 20070716 are correct? http://download.wikimedia.org/enwiki/20070716/ is showing pages-meta-current.xml.bz2 at 4.8 GB and pages-meta-history.xml.bz2 at 5.0 GB. I can't imagine the full history dump is only 4% bigger than the current dump.
By the way, what exactly is stub-meta-current.xml. Just stub articles? By what definition of stub? http://meta.wikimedia.org/wiki/Data_dumps doesn't mention the file.
Anthony