Let's use `splitlines()` here, which is robust against different types of line ending that might creep in.