Thread:Andisimon/@comment-37915141-20190530141516/@comment-36836718-20190530152337

I also noticed that the editor sometimes adds lines at the beginning and at the end. Don't know why.