Explain that JSON encoding is much faster now