Music of Johannes Regis in Humdrum digital scores.