Used in JavaScript, so doesn't need HTML escaping (fixes b3).