Add irv.json.