Fix missing user-font lines in introductory example (spotted by J Irwin,
This page took 0.051925 seconds and 3 git commands to generate.