LHC protons lap their ring 11,000 times a second — Anecdota