Documentation of object.destroy

[Temtaime]

On Tuesday, 2 January 2018 at 14:39:52 UTC, Johan Engelen wrote:
> On Tuesday, 2 January 2018 at 14:22:06 UTC, Temtaime wrote:
>>
>> Why not zerofy the object ?
>
> Please keep the discussion on the topic of documentation, 
> thanks.
>
> -Johan

Documentation does not correspond with the actual behavior, so 
fill a PR and that's all.
Then why even this topic is created ?