Everything that is going to be moved was moved awhile back now. And yes you are right the above files are both currently beyond the file size limitations of the wiki. Maybe they could be compressed - the file uploader at the wiki claims an allowance of 40 MB but in practice it seems to be somewhere between 5 and 10 MB without dwessell's help