Did you see the bit about this being a side quest? If converting shape files to GeoJSON was an important task for the day then I might have approached this differently, but I now have tools that let me do this kind of thing on the spur of the moment, just for fun!