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.