Syncing from Monotone at 20220626-024715. Last commit message was more TeX stuff
Syncing from Monotone at 20220626-024715. Last commit message was more TeX stuff

7c6f434c/7c6f434c-configurations,7c6f434c/7c6f434c-configurations,7c6f434c/7c6f434c-configurations,7c6f434c/7c6f434c-configurations