- paste-lines.js: join .codeline spans with no separator; newline text
nodes between display:block spans in the white-space:pre container each
rendered as an extra empty line box, doubling visual line spacing and
desyncing the gutter in both wrap and no-wrap modes
- number only real lines: a paste ending in newline produced a phantom
trailing number (6 for 5 lines)
fen