I actually like the Comic Code Ligatures font and have a use case for it -- even though the price has recently increased to $12 from $9 -- but the co-worker who finds their default font changed next time they use SSH may not be as impressed. Anonymous because, well, paybacks are a bitch.