Thanks to a_pawson. I'm amused to discover that the Hokey Cokey (UK) is the Hokey Tokey (NZ) and the Hokey Pokey (USA,Canada, Ireland), and the Boogie Woogie (some European countries). Oh, and despite the antecedents dating back to 1857 (at least) it's copyright to Sony in the USA. Of course.
Original post on Dreamwidth - there are comments there.