Whilst making the change I noticed that the default for the <b>args.launch</b> value was <b>false</b>!. It seems that this is now being used for the <b>PreLaunch</b> functionality? See helper.js line 160.

I am assuming this isn't the same as the prevent launching/installing functionality.