1[default.extend-words]
2thm = "thm"
3ba = "ba"
4Strang = "Strang" # name
5Bootle = "Bootle" # name