Simplejson is faster (ujson being the fastest). Here it's such a small file that hopefully we wouldn't see a difference, but could always use optimization. Changed.