Editing HTML by hand is hard