There are plugins to change and hide player names... Hasn't anyone created a plugin to hide Mob IDs from players who use F3?