On Friday, 11 January 2019 at 11:15:05 UTC, Mike James wrote: > Check out the origin :-) > > https://forum.dlang.org/thread/hl8345$2b1q$1@digitalmars.com?page=1 Indeed a terrible name, please don't tell me this was chosen by vote. By the way currently is there any vote system for naming these things? Al.