Does anyone know of an HTML editor that works with Safari/iOS7/iPad?
If you find one/some, post them here and I will update the post for next time.