> Wikipedia does not have an article with this exact name
As an aside, how does wiki generally deal with this? There is this page, obviously. Is this not a source (hornet.org)? No idea how else would you document something like this? Obviously someone involved back then still maintains this page...