On 7/17/15 8:20 PM, 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. Let's get the "+1"s on this - please reply. I'm fine with Aliases with an extra umph that the BDFL favors it. -- Andrei