I’d replace // <source> // </source> with // <nowiki> // </nowiki>, which is what I add to all my user scripts. The use case is preventing things like userSignature = “~~~~” from being rendered as the developer’s hard-coded signature on page save.

Sincerely,

Novem Linguae