docs: fix formatting and typos

Signed-off-by: Nicolas Froger <nico@cri.epita.fr>
1 job for rework in 25 seconds (queued for 3 seconds)