Stop replacing : (colon) with U+2236 (ratio)
The new default GNOME font already does the right thing for colon in numeric context, and this replacement can show up as a missing glyph on other platforms. So, just rely on smart fonts, going forward.
Fixes: #7279 (closed)