collatex-server -> collatex-tools