JavaScript string literals are being converted erroneously

The AI (2.5 Pro) is outputting e.g.

.replace(/>/g, '>')
.replace(/"/g, '"')
.replace(/'/g, ''');

but what appears on the screen for me in AIStudio is:

.replace(/>/g, '>')
.replace(/"/g, '"')
.replace(/'/g, ''');

It’s consistent between Firefox and Chrome (no addons, clean profile). An almost unbelievable bug?!!