Comment by leoc

(As others have said, it's probably better to choose the doi.org URL over the dl.acm.org one in general. Three cheers for HOPL!)