housekeeping: remove the old dolphin.js prototype
Chatter: use html escaping