Allow HTML user messages, documentation fix+update