HoleEdit: Remove trailing whitespace