warning--
reorganize a bit the menus
do we still need it?
one way of creating users is enough
Kill the cloud session export feature: git superseeds that