Assuming that some editor doesn't have builtin support for trimming trailing whitespace. What should a plugin for that editor do when trim_trailing_whitespace is set to true and the opened file has ...