public_library_map/.github/scripts/minify-map-json.sh