It's not obvious that `trim_char` only operates on the ends

[mdinger]

trim_chars only trims characters from the ends but that is not clear from the documentation.

// Not obvious from the description why this doesn't work
"hello world".trim_char(' ');