Finish the documentation of the new destructible API (#270).