TxCore or ArjunaCore in docs?

The original core transaction module was called Arjuna. Then years ago we changed it to ArjunaCore. Then we changed it to TxCore, though didn't change the docs consistently or the Java package structure. Then TxCore became confusing and conflicted with other uses elsewhere (e.g., Microsoft) so we reverted to ArjunaCore (blogs, docs etc.) But once again, not consistently. Fix the docs.