Botfilter

Don't filter bots, as this is removing valid contributors from the list. I think it is better, legally and morally, to have some bots in the list that to miss some valid contributors.

See https://bugzilla.wikimedia.org/show_bug.cgi?id=56219