Can I ignore some user agents?

[hiddenseal]

given that it’s registered as a crawler, try this

@codinghorror

This is now possible via site settings, search for “crawler”, specifically blocked crawler user agents.