Move to Python's json module for smarter deserialization.