tbm is more in charge than I am these days, and his personal copy is more up-to-date. I talked with tbm about it today, and we're either going to put the definitive version on the public Gitlab or Github for now, for lack of a better place at the moment.