Music being typeset by or for the Bay Area Bayesian Choir