Update docs, etc. per Barney's comments.
(#364a)