I searched for any answers.
(dates back to 2012)
Here
viewtopic.php?p=260758&hilit=Bot+bots#p260758
Here
viewtopic.php?t=47416&hilit=Bot+bots
Are they good bots or bad bots?
What's with Google, Amazon, Bing [Bot]?
Re: What's with Google, Amazon, Bing [Bot]?
Those should be web crawlers. Good as in - they allow you to search for forum stuff via search-engines. Could be they are part of the reason the forum is often so slow, not sure (I suspect this has more to do with sourceforge servers and/or spam attacks).
IRC: #irrlicht on irc.libera.chat
Code snippet repository: https://github.com/mzeilfelder/irr-playground-micha
Free racer made with Irrlicht: http://www.irrgheist.com/hcraftsource.htm
Code snippet repository: https://github.com/mzeilfelder/irr-playground-micha
Free racer made with Irrlicht: http://www.irrgheist.com/hcraftsource.htm