Copy & paste HTML from gnome terminal

A few releases ago… maybe 33 or 34, I was able to ‘Copy as HTML’ in a gnome terminal and paste this into, say, gmail or Thunderbird.
Lately, this doesn’t work … I see all the markup, like

<pre><span style="color:#4E9A06">[</span><span style="color:#3465A4">industrynumbers</span> <span style="color:#4E9A06">Desktop]</span> 😼 date
Thu Apr 20 04:13:42 PM EDT 2023
<span style="color:#4E9A06">[</span><span style="color:#3465A4">industrynumbers</span> <span style="color:#4E9A06">Desktop]</span> 😼 
</pre>

I have to get around this by pasting into a temporary file like /tmp/temp.html, open that document in libreoffice, and then copy and paste into gmail.

Is there a setting I have that’s messing things up, or is there a simpler work-around to this problem?

Replying to my own question …
It looks like this is a bug in gnome-terminalCopy as HTML offers 'text/html' mimetype, but it's empty, and 'text/plain' contains HTML tags (#7975) · Issues · GNOME / gnome-terminal · GitLab
Until this fix filters down to Fedora, this works …
xclip -sel c -t 'text/plain' -o | xclip -sel c -t 'text/html'

edit … I looked at the rpm source (vte-0.72.1), and these changes are already there. It looks like that this change does not solve the problem after all … :disappointed_relieved: