If you are already managing your user by a CAS server, you'll find this plugin very useful, as you won't have to recreate existing user in AjaXplorer. It's for the moment in already distributed in the core distribution, no need to download.