Title: The Humdrum toolkit