Problem
Conrado's PR magma/magma#15604 propose updates for the docussaurus and other improvements on documentation.
It brings too many changes that is difficult to evaluate.
Solution
Evaluate and separate into different PRs, each with a clear and single purpose to ease evaluation and approval.
Non-goals
Other changes outside of Conrado's proposal.
Problem
Conrado's PR magma/magma#15604 propose updates for the docussaurus and other improvements on documentation.
It brings too many changes that is difficult to evaluate.
Solution
Evaluate and separate into different PRs, each with a clear and single purpose to ease evaluation and approval.
Non-goals
Other changes outside of Conrado's proposal.