Notes:
I gave this talk at the GUADEC conference in July 2012, in A Coruña, Spain.