Addendum to comment #6: Yes, XML Copy Editor works, however, it crashes a lot which makes it hard to work with.
Addendum to comment #6: Yes, XML Copy Editor works, however, it crashes a lot which makes it hard to work with.