Introduce a cheat sheet

- Also rollback a mistake in Sample.pier
- Fix *a bit* the HTML exporter
- Fix *a bit* the LaTeX exporter