[docs] [issue22232] str.splitlines splitting on non-\r\n characters