CSPACE-6272: Remove now-redundant comments.