Mirko's registry file uploads

Mirko hasn't uploaded any registry files yet.