User blog comment:Wythagoras/Buchholz hydra/@comment-1605058-20130828182749/@comment-25418284-20130828201832

Eugh. Do you have to use the # symbol for the label? I think a letter would be nicer.