Hmm, that is a stickler. I'm not sure how the clients will react, but how about this: if it ends in a '/' then it's a menu, otherwise it is a plain file.