Fire the editor.
Alternatives I've seen in this thread are a ball of wadded up aluminum foil, a wooden scraper, abrasive pads, and stiff plastic bristles (EDIT: and an onion). This proves once again that the HN comments section is often better than the article itself.