On Friday, 8 June 2018 at 11:27:14 UTC, Seb wrote: > The point is to dis-encourage new uses of the deprecated symbol. The deprecation warning from the compiler and annotating the documentation with a deprecation notice will already accomplish that. Mike