I did wonder! Why would a "refuse destructor" appear on a mine-related website? All becomes clear now!