Notes on AtomContext info in doc/notes/ddPp.
Merge remote-tracking branch 'origin/processor' into processor