Simple replacing some whitespace chars with tilde

All reported whitespace characters are replaced with single tildes in
the entire buffer without asking for permission for each position.