Wiki bot accounts, usually created and used by extensions or scripts.
Not to be confused with robots.txt