At the executive level, no I don’t think they care or pay attention, but considering both have said “here’s how to block our crawler,” I do hope that that some mistreated developer did actually program a check in to the crawler. I still think it’s worth doing, even though I don’t fully trust them.
Yeah, based on his robots.txt it seems to be a Wordpress site, so he’s probably just installed an ineffective plugin to prevent copying. At least he can take solace in the fact that most of us probably aren’t any more relevant than he is.