Hello, I've adapted the extension for our project, to ignore bots and crawlers, using this: https://github.com/JayBizzle/Crawler-Detect

If this is something that makes sense for the rest of the world, do not hesitate to bring it back to the main branch. It's not based on an option but that's easily doable. https://github.com/neayi/mediawiki-extensions-HitCounters/commit/4978b3673e0a6808f79fc15daaca79bac62b9def