render_tree: suppress markup only for empty body (of status messages, cf. da275b7809bd) in order to recover hilite;
render_tree: suppress markup only for empty body (of status messages, cf. da275b7809bd) in order to recover hilite;

MerelyAPseudonym/isabelle,MerelyAPseudonym/isabelle,MerelyAPseudonym/isabelle,MerelyAPseudonym/isabelle,MerelyAPseudonym/isabelle,MerelyAPseudonym/isabelle