"it would be shown instead of the name when rendered" that does not seems to be a good reason to deliberately choose weird tag

especially as amenity=post_depot will not be rendered at all, the same for its label, anyway - except rare data consumers and editors