When processing message HTML for the client from python, turn <hr> tags into <p>──────...</p> em dash lines