UTF-8 as told by Rob Pike