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