On push, do_shortcodes in order to let any plugins replace shortcodes with their HTML