Foreshortened

I just found out that someone is keeping a nice archive of fairly up-to-date Debian packages, useful since hg pull magically fails every time at Peterhouse (no time to investigate yet).