“Copy as HTML" function in the Arduino IDE

We don't use it. It doesn't work here. We use code tags instead and have to tell the new people to read the thread up top that says Read This First Before Posting or some ridiculous suggestion such as that.

Oh wait, in this forum section there's only the How To Use This Forum thread...