a few things which i think could probably all be dealt with at the same time: 1. [x] "labels" are doubled: e.g. — 2.8.7.1 (8.7.1). 1. [ ] the table of contents at https://ega.fppf.site/browse doesn't seem to go any deeper than just the part level 1. [x] it would maybe be nice to switch the part numbering to roman numerals? so that we have II.8.7.1 etc. 1. [x] the `env` environment looks a bit odd in the table of contents (see image), but i'm not too sure what a better name for it would be... 1. [x] as in the image, environments in the TOC also have their 'title', but since this is just the number again, it might be nice to surpress it? <img width="509" alt="Screenshot 2020-01-26 at 21 15 47" src="https://user-images.githubusercontent.com/7130759/73141157-14ac0c80-4081-11ea-91a9-837631c3eadd.png">
a few things which i think could probably all be dealt with at the same time:
envenvironment looks a bit odd in the table of contents (see image), but i'm not too sure what a better name for it would be...