dcrochu as of 20/02/2024, plus rsigns and typo standardization

When adding annotations, the typesetting broke. Attempt to fix.