The actual player jerseys don't, but fan/replica jerseys are sold with names on them. This is a custom fan jersey.... Players also don't put their nicknames on their jerseys, and #13 is currently taken in New York by another player.
All good points however, I'm fairly certain at this point they can re-issue 13 and just be added to arods list of people to sue