By Thomas Bohm of User Design, Illustration and Typesetting. Published October 2017. Editorially corrected in March 2023.