Fix public.json to also be case insensitive; #503

We were instantiating Participant directly in public.json. This updates
it to use get_participant.