--- a/docs/_latex/my-doc-fonts.sty	Fri May 15 19:59:20 2026 +0200
+++ b/docs/_latex/my-doc-fonts.sty	Fri May 15 20:07:39 2026 +0200
@@ -32,16 +32,19 @@
 
 % A key compatible with options processing as option "fonts" but choices.
 \define@choicekey*{my-doc-fonts.sty}{fonts}[\val\nr]{%
-  default,
-  dejavusansmono,
-  cm,
-  robotomono,
-  ibmplex, plex,
-  plex-dejavusansmono,
-  adobesourcepro, adobesource,
-  spectral,
-  charter,
-  libertinus}{%
+  default,   % do not change anything: deactivate the default dejavusansmono
+  % no augmentation needed: all characters available
+  dejavusansmono,  % use DejaVu Sans Mono as monospaced font
+  % the fonts below need augmentation for missing characters
+  cm,              % assume CM fonts and just fix missing characters
+  robotomono,      % use Roboto Mono as mono font
+  ibmplex, plex,   % use the IBM Plex family (incl. Math)
+  plex-dejavusansmono,  % use IBM Plex Mono as mono font
+  adobesourcepro, adobesource,  % Use Adobe Source Serif/Sans/Mono
+  spectral,        % use Spectral, Source Sans Pro and Source Code Pro
+  charter,         % use XCharter (with XCharter Math), Lato and Inconsolata
+  libertinus       % use Libertinus family (incl. Math)
+  }{%
   % Not used for now : store the normalized option value (global and expanded)
   \xdef\@mdf@fonts{\val}%
   % Reset all option related font selection flags