I goofed. I upgraded from vlc-2.2.4-win64 but I wasn't paying attention and installed vlc-3.0.11-win32 on my 64bit ASUS laptop, which came new with Windows 10 installed.
VLC starts and runs OK when I open a video file, but I cannot start the program by myself because Explorer cannot see any of the files or folders. Windows Control Panel does not see the program either, when I try to uninstall it from there. Running the 64bit installation program stalls when a Microsoft Store window appears and tells me VLC is already installed.
So I can't use the Windows or VideoLAN routines to uninstall it. I'm looking for a step-by-step procedure for manually deleting the 32bit version from the Windows Registry, because I would like to run the 64bit version.
Unless someone has a better idea, of course.