Rodrigo's registry file uploads

Rodrigo hasn't uploaded any registry files yet.