Recognize <ins> and handle it correctly--but the default code is already approximately correct so this resulted in no changes to the output.