delete obsoleted HTMLBuilder