After a bit of fiddling, my Application launcher menu is back to the way it was. Unfortunately, I cannot say exactly how the problem was resolved. -- Regards, Phil