documentation nits

Signed-off-by: Jeremy C. Andrus <jeremya@cs.columbia.edu>
Initial content import

Signed-off-by: Jeremy C. Andrus <jeremya@cs.columbia.edu>