Whether or not it's actually true or not (and the person who runs the dictionary database agrees that it's probably not source: http://nihongo.monash.edu/hotchkiss.html), if you check Japanese dictionaries, they will tell you that it's named after the Hotchkiss who invented it (source: https://www.weblio.jp/content/%E3%83%9B%E3%83%81%E3%82%AD%E3%82%B9) So it's kind of a mess, but I suppose they're just defaulting to what the Japanese dictionaries say.
Just wanted to add this info for anyone interested. Thanks for the links, especially the first one.
http://web.archive.org/web/20191113024710/http://nihongo.monash.edu/hotchkiss.html
http://web.archive.org/web/20191113024813/https://www.weblio.jp/content/%E3%83%9B%E3%83%81%E3%82%AD%E3%82%B9
Decided to archive the first one because it looked kinda sus, then might as well the second one. ya never know ;P
dang someone beat me to it. Here, have another copy of the link
origin of name
The inventor of staplers apparently was a person names George McGill (https://en.wikipedia.org/wiki/Stapler). Hotchkiss seems to be the name of a at the time famous manufacturer of i.e. staplers (https://americanstationer.wordpress.com/2013/04/15/hotchkiss-no-1-stapler/).