Export a JSON object ("dictionary") rather than array for easy lookup

This avoids the need to scan the array in JS, as suggested by RJBS.

Access logs claim that no one is using this export, so changing the
format in-place is just fine.