CSPACE-6266: Added yet more comments.