From: Ralf Jung Date: Tue, 23 Dec 2025 09:29:47 +0000 (+0100) Subject: extend footnote on other tools X-Git-Url: https://git.ralfj.de/web.git/commitdiff_plain/e489f258dae5b1ffd3fa4d2962eb6ecf2d89ce89?ds=inline;hp=e489f258dae5b1ffd3fa4d2962eb6ecf2d89ce89 extend footnote on other tools ---