https://gcc.gnu.org/bugzilla/show_bug.cgi?id=93168
--- Comment #1 from Segher Boessenkool <segher at gcc dot gnu.org> --- The actual control stuff is eaten by bugzilla, but it makes just as little sense like this. There is an escape before the ] I think, but it messes up the display (in different and interesting ways depending on terminal), so not completely sure.
