manuel's registry file uploads

manuel hasn't uploaded any registry files yet.