Re: [basex-talk] What happened to the DeepFS menu? Was it removed?