How do I delete the `WinDefend` key from the Windows 10 registry?

How do I edit the Windows Registry using the Recovery Environment?

I delete the key HKEY_LOCAL_MACHINE\SYSTEM\ControlSet001\services\WinDefend

superuser.com/a/1590129