extract paragraph of comment into workspace (#4232)
extract paragraph of comment into workspace (#4232)

* extract paragraph of comment into workspace

* fix formatting of comment

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