I set this up as merge request 75 in gitlab; closing it here.