[chuck-users] New version of VSCode ChucK extension has been released