Small (mostly python) scripts for juggling and converting GeoJSON, PostGIS and such.