Fredrik Eriksson schrieb:
> http://support.microsoft.com/kb/310516> > Scroll down to "Deleting Registry Keys and Values".
Ah, that's definitely news to me. So either they must have changed it
since I looked last, or it wasn't documented back then. I must confess
that it was quite a while ago.