Web interface: Don't use HTML entities in Javascript code.