The Manual page (https://wiki.keyboardmaestro.com/User_Manual) allows for the generation of a pdf.
The resulting pdf contains text at 7pt. This is far too small to read for more than few minutes, and if zoomed to a readable it is necessary to have a large monitor. Even with this it leads to a very wide line length.
Can this feature be changed to a more sensible text size (such as 12pt)?