Hello,

When exporting to HTML, the default behavior is to "pushed to kill ring and
clipboard". As shown in the message:

HTML export done, pushed to kill ring and clipboard

Are there any way to turn off this push?

Thanks!

Xin