On Wednesday, 17 August 2016 at 07:53:49 UTC, Mike wrote: > Got it! Thank you! But it still appears that what's > illustrated on the deprecations page is not being deprecated. > > Mike I imagine that will change if/when DIP1000 is accepted.