For anyone interested in Grothendieck's opinions on kimchi …

https://mikepierce.github.io/grothendieck-kimchi/translation...