Clarify that destroy does not free the allocated memory

This also fixes some heading capitalization in `deprecate.dd`.