Syntax error in generated Javascript

We have some users / schemas in our database with a name in the format "DOMAINUSERNAME". When this gets output into javascript, the backslash isn't escaped, which sort of works in most cases, but where we have a username portion that starts with an X, for example "DOMAINXUSER", this is a syntax error in Javascript, which causes the treeview in the html to not work (the browsers can't parse the javascript).
Currently we can work round this by excluding these users & schemas from the project so they don't get output, but ideally SQL Doc would escape the backslashes in its output.