Navigator: do not show dock on first start
Navigator: Fix crash on linux
Tests: REPL