Extensions to `pp.el'