remove dead html5_utils code