(previously only the navbar-brand 'ProjectExplorer' did)

facets: rationalize varnames, update doc

server_menu.json remains at project root while associated DBs are in new files called project_conf.json in each project dir

polyvalent but esp. used for https://github.com/moma/comex2/commit/1b5c4b7

POSSIBLE: remove settings_explorerjs.js from the repo and ask the users to create it from twpresets/settings_explorerjs.devdefault.js ?

first draft to test and expand

this allows to fix problems where db details from conf were not unique and only the last one was used

kanban #271

for any scholar s, for all scholar's terms t_i, Σ(wei(s,t_i)) = constant

fixed again easytabs init (inner and outer div both necessary resp for readmore and tabs) and unify tab css with the reldocs tabs