This is a great solution because it can settle things quickly with less stress and let everyone get back to work.

Gamers are _not_ going to confuse Notch's and Bethesda's use of the word "scrolls," so I don't see why either company should take this too seriously. (Re-naming a game is less work than a drawn-out lawsuit.)