Generation of trace HTML includes