As said in other comment, my PRs are using my real name and my HN account does not, so I don’t want to connect the two by linking my PRs.