Update Teardown instructions explicitly. 

Explicitly define halting and destroying instructions. Leaves no room for implicit assumptions.
Merge pull request #4064 from KLVTZ/master

website/docs: Update Teardown instructions explicitly.