Minor fix to Blockly toolbox options. Fixing broken docs.
Minor fix to Blockly toolbox options. Fixing broken docs.

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