You are right: it is silly, but also, given the amount of robo-calls in the US, cold calling someone you don't know is a good way to be put on auto-spam.
If you really want to reach out, his email seems to be the way he prefers to be reached, so that's what I'd recommend.
If you really want to reach out, his email seems to be the way he prefers to be reached, so that's what I'd recommend.
PS: He did some commits to his personal website about 1.5 years ago: https://github.com/Hopding/Hopding.github.io/commits/master