[documentation] Minor doc improvements
[cleanup] Adhere a bit more to Dune naming rules