Ghosting a language feature

[Andrej Mitrovic]

On Monday, 21 September 2020 at 04:30:01 UTC, H. S. Teoh wrote:
> I'd even go as far as saying that after a deprecation period of 
> a suitable length, we should just remove the documentation 
> altogether, but just stop short of actually removing the 
> feature.  That way, old code will continue to work, but new 
> code will stop using it because people won't find the 
> documentation for it anymore.
>
>
> T

It sounds like we just need a switch for the ddoc generator? 
Whether to generate documentation for @deprecated symbols or not.