Some more ramblings on editing HTML