destroy hole markers when agda-mode:quit