> On Jul 31, 2018, at 1:32 PM, Gavin Wraith <gavin@wra1th.plus.com> wrote: > > "Duct tape" sounds like a Chelsea pronunciation of "Duck type", if you are into UK accents. http://lua-users.org/lists/lua-l/2008-09/msg00550.html ~10 years to the day :D