No, they don't; they go in `Contributors.txt`;