Full threadcool-RR·I've been wondering for a long time, and this might be a good opportunity to ask: How do you pronounce "Buchheit"?View on HN