If things didn't change, he should be able to find the download keys from the Settings tab.

Here's a guide I wrote some time ago

@ifarmgirl/claiming-keys-for-n-account-created-on-inleos-lite-infra