Commit d41f26617724b8c48231f84fad5a0109df1a241d

Thomas de Grivel 2025-05-18T20:36:15

fix doc nav and links