Are user agent names case-sensitive in robots.txt?

Question

I'm blocking various bots in robots.txt and I was wondering if their names are case-sensitive.

For example:

User-agent: grapeshot
Disallow: /

Would it matter if I use grapeshot or GrapeShot?

Answer 1

Bot names are not case sensitive. However, the filepaths are case sensitive.

Please refer to Google’s Robots.txt Specifications document.