- README.md: Replace the generic Overleaf link with the one of the Overleaf project.
- Remove the
user_manual/
directory? The user manual is 10 years old and is not up to date. We could make the repository exclusive to the specification and movespecification/*
to the root directory.