Release v1.7.3
Patch version release. Fixes a bug where databases may be lost if VS Code is restarted while the extension is being started up; and adds commands for navigating up, down, left, or right in the result viewer. See changelog for details.