A pull down PR is basically the same like a deadlift PR, it may or may not transfer to the baseball field.
I wold not read too much into it, kids like to post everything and especially brag if they make progress in their training metrics.
I don't have an issue with that, a pulldown PR doesn't mean they will pitch well next season but it means they are pushing themselves in training and possibly make physical progress.