Code Editor : delete_knowns.cgi