cosmetic changes on usermanager.js (now the -proj parameter can be overloaded in the common)