Allows extension commands to programmatically switch to a different session file via ctx.switchSession(sessionPath). fixes #1187
Allows extension commands to programmatically switch to a different session file via ctx.switchSession(sessionPath). fixes #1187