dotslate.js is modified to uncomment launch_and_focus.