Fix comment decompilation. Merge issue (#4181)
Fix comment decompilation. Merge issue (#4181)


switchinnovations/pxt,switchinnovations/pxt,playi/pxt,Microsoft/pxt,playi/pxt,playi/pxt,switchinnovations/pxt,playi/pxt,switch-education/pxt,switch-education/pxt,Microsoft/pxt,switch-education/pxt,Microsoft/pxt,switch-education/pxt,switchinnovations/pxt,switch-education/pxt,Microsoft/pxt,Microsoft/pxt