Can these three small branches be merge dto next? I verified that I don't have permission to do that myself (pre-receive hook declined): irving/doc-cleanup irving/dual-space-context irving/snes-ex12-cleanup Thanks, Geoffrey