I've just added the new bots and removed duplicates from the list.  Though I have 2 questions:

1) It seems there's talk on not swamping the mods with noise, especially if they have a new user list.  I'm a bit confused... should I keep on updating the Google Doc as I am currently doing?

2) If there are any Banned users in the Google Doc listing, should I take them out?  Or will it make no difference if the list is going into something like an sql statement/script?