Fix some typos and errors

[ia0]

Hey Théo,

Before adding more to this PR as I continue reading, I wanted to check if it's worth it.

It doesn't seem like it's possible to compile from scratch (some kind of bootstrap is needed for the glossary). So I'm wondering if any new release is planned or whether this repository is mostly archived.

Thanks!