I mean, you could be helpful not be a prick, explain why it’s not required and let him know how to improve his code. It’s likely to be one of his first scripts and everyone needs to start somewhere.
Why do you even make it complicated for yourself? You could just register a command in the client and get the id from yourself through the client event. Also, why do you release this? This “script” is rather a snippet. It already exists in the scoreboard and 1000 other resources. Maybe it’s just I who don’t understand why this is a thing 2019.
I really like the /id feature. Helps a lot when trying to find my name on a full playerlist! Also, what player menu are you using? I’ve seen it before but can’t seem to find the release of it.
Guys, If you are not intrested in using this release, just move on with your life. No need to comment on anything if you aren’t planning on improving the resource!