@robpike There are many ways to pronounce it, but this is mine.