On Saturday, 18 July 2015 at 00:20:23 UTC, Mike wrote: > On Friday, 17 July 2015 at 20:54:33 UTC, Walter Bright wrote: > >> Should just be "Aliases". > > I'd be happy to do the pull request if you wish. Please no, Aliases is one of the worst names in the thread.