We declare ourselves capable of handling utf-8-unix encoding, but
whether we actually do anything close to being correct is unclear.
(Almost certainly not; I suspect we naïvely use nchar() in places).
We could either declare our encoding as latin1-unix, or make the
server utf8ly correct. To reproduce, simply type "ë" at the repl.
We declare ourselves capable of handling utf-8-unix encoding, but
whether we actually do anything close to being correct is unclear.
(Almost certainly not; I suspect we naïvely use nchar() in places).
We could either declare our encoding as latin1-unix, or make the
server utf8ly correct. To reproduce, simply type "ë" at the repl.