This should probably also mention what `"".is_whitespace()` returns