Addition : listing .pdf as alternative source

src/documentation/basics/welcome.ts

@@ -1,6 +1,7 @@
 import { makeExampleFactory, key_shortcut } from "../../Documentation";
 import { type Editor } from "../../main";
 import { examples } from "../../examples/excerpts";
+import pdf from "./TOPOS_COMMANDS.pdf";
 
 export const introduction = (application: Editor): string => {
   const makeExample = makeExampleFactory(application);
@@ -69,6 +70,10 @@ Reloading the application will get you one random song example to study every ti
     "F5",
   )} and listen to them all! The demo songs are also used a bit everywhere in the documentation to illustrate some of the working principles :).
 
+## Alternative documentation source (.pdf)
+
+You can also find a .pdf version listing the principal commands and functions [here](${pdf}). This document has been generated by Chris Collis. It recaps the main sections of this documentation and can be a good companion while learning Topos.
+
 ## Support
 
 <p>You can <a href='https://ko-fi.com/I2I2RSBHF' target='_blank'><img height='36' style='display: inline; border:0px;height:36px;' src='https://storage.ko-fi.com/cdn/kofi3.png?v=3' border='0' alt='Buy Me a Coffee at ko-fi.com' /></a> to support the development :) </p>