Experimenting with JSON manipulation in Python