(The tricky part is knowing what to pass to `coordsChar()` as the coordinate system...the default is `"page"`, which I think means relative to the viewport (not the virtual scroll area), so you might actually just be able to pass `0` and `info.clientHeight` for the line numbers. I always have to double-check though :))