Thanks bobbyh. This is very helpful.
user_id and username conflicts should be managable since the number of WP users is very small.
On schema, it looks like I need to add the user_activation_key field.
> That extra index on user_nicename is the least of your problems.
So I would just add it using phpMyAdmin?