Auxiliary tools for formatting reports (as plain text or HTML)