The GHM 2013 video files which used to be here have now been uploaded
to their permanent address http://audio-video.gnu.org/video/ghm2013/

-- 
Luca Saiu