[01:54] <alan-o>  Does anyone have any experience with the Edubuntu menu editor and the profile manager?