[Git][ghc/ghc][wip/sjakobi/multi-caret] Shorten another comment, as suggested by @sheaf