deletes comments about several bugs that have been fixed recently, including the most recent commit about progressive aspect verbs