Restoring the registry ends up using the wrong file permissions,
breaking the registry.

Document the workaround while we look at improvements.