I didn't think it would matter where the "Anonymous" name was stored. It still prevents the poster from using it. If it is stored in the filter file they would get the "user exists" error or if it is stored in the user database for UID 0 they would get the error "username taken". In any case it would prevent them from using the name and the plus side I think would be that this name has been in the badnames filter list for a long time and this would help lessen the problem of that name being taken by a user already.
Then again, maybe not. LoL
