My bad: this pdf was already there but I don't appear to be able to undo my upload. --Two Dogs (talk) 13:46, 11 September 2014 (IST)