On Thursday, 25 June 2015 at 19:55:41 UTC, Steven Schveighoffer wrote: > Yeah, I agree for existing names, but these are unreleased new > names. I thought the idea was to use this trick to avoid introducing the new names, and instead change the established names in a mostly-backwards-compatible way.