[avx56]

That's a Windows registry path, you can use regedit to edit the values. Microsoft has a reasonable guide for it: https://learn.microsoft.com/en-us/troubleshoot/windows-serve...

[paulcapewell]

No, I know - thank you - but I mean there is no Explorer at that path in regedit for me.