Introduction.rst.txt: kremlin -> karamel#21

jcsahnwaldt wants to merge 1 commit intoFStarLang:masterFStarLang/fstarlang.github.io:masterfrom

jcsahnwaldt:patch-1jcsahnwaldt/fstarlang.github.io:patch-1Copy head branch name to clipboard