Dear Condobloke,
Okay, I have been confused w/Linux about downloading and installing being two separate functions. LOL? MS Win hangovers are harsh.
So, installed properly by clicking on "Reinstall Package." & 402/402 were refreshed. The "Mainline Kernel Installer" box has kernels 5.0 to 5.7.1...