You propose to add this one line, the original line with Krita leave unchanged and as well as other files that I mentioned in the second mail, leave unchanged?
Yes, let's leave the original krita entity. That way when we (if ever) edit the docbook files and discuss the renaming, we still have a docbook entity for krita.
Darrell