Music of Johannes Tinctoris in Humdrum digital scores.