Bookmark · 17 October 2025, 13:26 Obituary: Farewell to robots.txt (1994-2025) | heise online robots.txtinternet-history