Great! This is perfect, thanks a lot!
Then there just remains the issue with Unicode that Cheng mentioned.
Js.log("Sehr schön")
Js.log(`Sehr schön`)
Js.log(j`Sehr schön`)
gives me
Sehr schön
Sehr schön
Sehr schön
Would it be possible to get Unicode to work for all three? This is one of those things that’s very hard to explain to newbies coming from JS…