v1.47: Rename dark visitors to known agents and add AgentTimes

[glyn]

What's Changed

• add: AgentTimes bot by @justinribeiro in add: AgentTimes bot #232
• robots.py: fix darkvisiters descriptions and links by @guest20 in robots.py: fix darkvisiters descriptions and links #236
• Renaming Dark Visitors to Known Agents by @ghking in Renaming Dark Visitors to Known Agents #238

New Contributors

• @justinribeiro made their first contribution in add: AgentTimes bot #232
• @guest20 made their first contribution in robots.py: fix darkvisiters descriptions and links #236
• @ghking made their first contribution in Renaming Dark Visitors to Known Agents #238

Full Changelog: v1.46...v1.47

---

This discussion was created from the release v1.47: Rename dark visitors to known agents and add AgentTimes.

[guest20]

I'm pretty sure my change isn't the reason they renamed the site, but maybe somebody should look into that...