no splash page
Merge branch 'v1.3' of https://github.com/jlivni/OpenTreeMap into v1.3