So what the new token name will be? Apparently they are doing a vote to change CAT into something else. In the market there are already two other CAT tokens.