add "Copy as HTML" menu item #1214

Job	Run time
tests-Windows-CLI (mingw64, x86_64, 3.8)	22m 27s
tests-Unix-CLI (ubuntu-20.04, 7, 3.8)	11m 35s
tests-Windows-CLI (ucrt64, ucrt-x86_64, 3.8)	20m 57s
canceller	5s
tests-Unix-CLI (ubuntu-20.04, 11, 3.9)	12m 30s
tests-Unix-GUI (ubuntu-20.04, 5.9.5, 7)	4m 46s
tests-Unix-CLI (macos-12, 3.8)	18m 53s
tests-Unix-GUI (ubuntu-20.04, 5.15.2, 11)	7m 27s
tests-windows-latest-pacman (mingw64, x86_64)	1m 36s
tests-Windows-GUI (mingw64, x86_64)	12m 28s
tests-Unix-CLI (macos-13, 3.9)	23m 1s
tests-Unix-GUI (ubuntu-22.04, 5.15.2, 12)	6m 33s
tests-windows-latest-pacman (ucrt64, ucrt-x86_64)	1m 36s
tests-Windows-GUI (ucrt64, ucrt-x86_64)	12m 55s
tests-Unix-GUI (ubuntu-22.04, 6.7.2, 12)	7m 2s
tests-Unix-GUI (macos-12, 5.9.5)	10m 53s
tests-Unix-GUI (macos-13, 5.15.2)	6m 44s
tests-Unix-GUI (macos-13, 6.7.2)	11m 29s
	3h 12m 57s

Provide feedback