$.getJSON("/events/"+get_current_event_id()+"/tldr", function(data) {
        old_tldr = data.tldr;
    $("#tldr").html(markdown.toHTML(data.tldr));
});