rename export to json.

this may or may not have been a good idea, but for now, that is what I
choose.