I'm blocking various bots in robots.txt and I was wondering if their names are case-sensitive.
User-agent: grapeshot Disallow: /
Would it matter if I use
Bot names are not case sensitive. However, the filepaths are case sensitive.
Please refer to Google’s Robots.txt Specifications document.