■

`split('\n')` と`splitlines()`が同じだと思ってたら、空文字列のとき、前者は`['']`で後者は`[]`だった。