While we're working on this, it would be nice to get the proper `µ` prefix again - this comment is ancient. I *think* that checking `u'µ'.encode(sys.stdin.encoding)` should be OK.