Re:Things Unexpectedly Named After People
by dehrmann on Sunday July 19, 2020 @04:19PM
(#23892159)
This, like a lot of these, feels like a happy coincidence people probably realized at the time and couldn't say "no" to.
[ Parent
| on HN ]
There are no comments on this comment yet.