simplify more HTML encoder methods (#135)