Several weeks ago I have noticed that the name of this tank, Monkey King, has been shortened to just "King" in garage, service record and in-battle. Does anybody know if this was censoring of some kind or?