Very minor nit for future cleanup: seems like this should be `attrDelete` for consistency with the other edit type names. (I think `attrChange` and `attrAdd` are probably better than `attrReplace` and `attrInsert` though.)