Files
pxt-ev3/theme/site/modules/checkbox.overrides