Colons are sometimes escaped...?

A user reported this, and sure enough   This happens both in & out of code blocks, and not necessarily just after javascript.  I submitted a support ticket, but I'm posting here too because ...