ini2json: Convert IDs to real names.