Kevin

Results 2 comments of Kevin

Can deletion output go to stderr instead? In either case this should be merged