dave deleted the really big file on
25 Nov, hope I didn't cause a problem
for anyone.