Removed unused HTML encoder