fix for #1313 (missing help menu)
fix for #1313 (missing help menu)

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