Following discussion on issue #251, comments are now dark green.