Has XMLelement::setTagName been deprecated?
It doesn’t show up for me.
Is there another way to change the tag name of an XMLelement? (and also keep its children in tact)
No, the other way round, was incidentally the last addition to XmlElement on Apr. 4th. So it is not on master, but on develop: XmlElement::setTagName()