CSPACE-5845: Remove currently-irrelevant comments.