Documentation for Humdrum tools.