bugfix: missed moving indexing when transitioned from /user to /data/user
remove Aloha editor submodule, it's part of a client, not a server
eXist r18685
Merge branch 'release/server-v0.7.0' into develop