Some mostly uncontroversial tidying.
Explain the notation in the HDSTRACE figures.