Did you know that <span class="keyboard">Ctrl</span> + <span class="keyboard">/</span> comments out the current line? Press it again to un-comment it.
Did you know you can press <span class="keyboard">F2</span> to rename a predicate/function/type globally across domain and related problem files? Open all applicable files in the editor, select the symbol you want to rename, press <span class="keyboard">F2</span>...
Did you know you can right click on file/folder in the Explorer side bar and select <i>Open in Command Prompt</i>? The terminal window will open and the current directory will be what you clicked on! You can then directly call any command line tools (planner, parser, validator, ...) in that folder.
Did you know you can export the plan visualization as a self-contained, full screen HTML page? It shows more detail. Click on the <i class="codicon codicon-menu"></i> and select <i class="codicon codicon-browser"></i> <i>Generate plan report</i>. HTML page will open in your default browser (ideally Chrome).
Did you know that you can press <span class="keyboard">F12</span> to jump to a predicate, function or type declaration?
Did you know that you can get more screen space for your code  by pressing <span class="keyboard">Ctrl</span> + <span class="keyboard">B</span> and <span class="keyboard">Ctrl</span> + <span class="keyboard">J</span> to show/hide the left side-bar and bottom output panel respectively? 
Did you know you can make the font bigger/smaller by pressing  <span class="keyboard">Ctrl</span> <span class="keyboard">+</span> or <span class="keyboard">Ctrl</span> <span class="keyboard">-</span>?
Did you know you can indent/un-indent text in the editor by pressing <span class="keyboard">Ctrl</span> + <span class="keyboard">[</span> or <span class="keyboard">Ctrl</span> + <span class="keyboard">]</span>?
Did you know that <span class="keyboard">Ctrl</span> + <span class="keyboard">Shift</span> + <span class="keyboard">O</span> shows symbols (predicates/functions/actions) defined in the active file and lets you quickly navigate as you type a symbol name?
<a href="https://careers.slb.com/jobaddetail.aspx?id=46403">Research Scientist – Artificial Intelligence position</a> is currently open in Schlumberger in Cambridge, UK. Join us!