An issue is code in $:/core/modules/widgets/diff-text.js for newline symbols
which means, now, one often gets this, a graphic font that obscures the important colour background. …
This would be better …
Q: On startup can I “patch” that one character in the JS Module to be more user friendly? To remove the existing character for newline and insert another?
I hope this is clear!
TT



” (U+21A9) with “↲” (U+21B2) in the module?