lint enhancements

implement handling of DEL key to delete a suppression