Good job getting the geoJSON! I will fork this notebook and create a working prototype for you

Did you get the shape file from here --> https://www.mass.gov/info-details/massgis-data-public-school-districts and then used the map shaper online tool to convert it to geoJSON?