where can I read up on the internal workings of the kde menu system? I would like to figure out how to get it to use the standard debian menu system (kde 2.2.2 does its own thing). -jason