We both know there's about a 100% chance that whoever reads gnu.org and writes a browser extension to block JavaScript on a specific site is a male, so "he/him" is better in this case.
I do think neopronouns are silly when used like this but silly is better than wrong.