ui extended for benchmarking
Merge branch 'master' of https://github.com/mll-freiburg/lr-facetags