exception documentation

Do not visit the current node's children, and do not call the current node's depart_... method. The extensions will still be called.