Hi,i want to save proxy settings in pharo-launcher and for that i enable development environment. After this i get a warning message"The method ToolRegistry>>userManager has been deprecated.use UserManager defaultSelect Proceed to continue, or close this window to cancel the operation."and when i click to "proceed" the launcher it hangs.Any suggestions?Regards,Rohit Sharma