Lines.Bytes() doesn't include a trailing newline

Lines.Bytes() doesn't include a trailing newline: a task in MiMo-V2.6-RL-harbor-code: MiMo-V2.6-RL Code (Harbor) (Harbor dataset). I'm embedding the texteditor widget in my app to let users edit source files. To save changes I grab the buffer contents with Lines.Bytes() and write the result to disk.