Some edits and comments (prefixed by '%%AR').