No problem, I am glad to help.
It's great that you are filtering for bots, though it may make sense to not publish the filters being used in future! ;)
I'll check out the full data dump once it's available and update asap.
You are viewing a single comment's thread from: