Paste a specified string
widget_clipboard_text_received
does some useful processing of the input (not to mention bracketed mode), unfortunately vte_terminal_paste_clipboard
reads directly from the clipboard
Ideally we'd have a
void vte_terminal_paste (VteTerminal *self, const char *text);
Allowing users to get the benefits of widget_clipboard_text_received
having already fetched data from the clipboard (or elsewhere) themselves