Is there a list of minor bots that we can merge articles like this into? If not, should we make one?
Fair enough. Just seems like if we have a group of stub pages about bots, we could collate them into a single decently-sized one.
Either way, there's information about an abandoned project of little historical value. It's a candidate for removal.
But the cost of keeping it for historical reasons is imho very small. I would like to keep it.
Uberdude ditto, I'm not a fan of wikipedia deletionists, I hope SL doesn't follow suit. I was saddened recently to see the SL pages on Stanley fuseki have been deleted.
I don't recall if I deleted the Stanley pages, not sure what they were about too. I did perform some deletions though, because some abandoned/humorous/irrelevant pages either clutter up the index, getting too much prominence, or remain unlinked so they're unlikely to be found in the first place and only consume space. I don't consider myself a "deletionist" and I can see where your frustration with WP comes from. I like SL to be somewhat coherent though but I'm only housekeeping it from the orphan perspective.
SL still has lots of pages that you could argue into deletion: the rengos we played here, with all their analyses, which no one will ever read ...
But I'm sorry if I was the one taking away the pleasure of reading about Stanley. If the Stanley pages have or had a meaning or purpose, and they're not here anymore, maybe someone who knows about it should recreate them?
Uberdude https://senseis.xmp.net/?GoPlayingPrograms#toc4 seems a good list already. An entry in that list could link to another short SL page as here, another long SL page, or none at all.