The comments we "extract" are, well, "extracted comments"

Fixes #59.