FWIW my vote is to keep patches/changes/commit separate from devel. I'm on devel only and it's already a lot to scan through, when I don't have time to actively develop, but I'm intensely interested in the proceedings and discussions of (not minutae but) overall goals, documentation, meta-discussion, etc. Dan W.