On 4/8/23, Samuel Thibault <sthibault@debian.org> wrote: > You can paste with shift-insert. this does not paste.