4 ms·

They seem to be using "destroy" in some colloquial sense, actually meaning "modify".

• kstrauser 10mo ago
  I'm truly not sure, but you're probably right.