TheOptimizationIdiot - 11:32 am on Mar 6, 2013 (gmt 0)
Here's one from JohnMu Oct. 2 2012 (bold added)
My recommendation would be to make sure that this page returns 404, and then to let these errors settle down. It's fine to keep them visible in Webmaster Tools, you can also mark them as "fixed" if you prefer to keep a cleaner UI (the "fixed" status is just for yourself, it's not used by our websearch pipeline). Having pages that return 404 is fine, so I wouldn't worry about them showing up in Webmaster Tools.