formal-languages-2020/overrides.txt