PDF presently contains all kinds of figures. Formatting is terrible, and they will go away on next commit