VladislavKosev When I write $chal and then press tab I end up with: $$challenge Please fix guys. That is extremely annoying.
JakubMisek Thanks Vladislav, we'll continue in https://community.devsense.com/d/255-duplicate-dollar-signs-when-using-autocomplete So far we are not sure how this happens, so we'll keep trying different VSCode settings.
