On Saturday, 6 January 2018 at 02:53:38 UTC, Walter Bright wrote: > For example, there were several uses of the word 'ctor' instead > of 'constructor'. I couldn't find any cases like that. If you know of them, please explicitly identify them for me. Thanks, Mike