Formatting and annotating HPL.