docs/prelude-cheatsheet.pdf