...

Once saved replace the disk with the SDcard thing again. It should now boot.

Keyboard repair

Next was the damaged keyboard. I ordered some replacement switches (Cherry MX Blue) and replaced the damaged switch:

...

I did of course not have the original keycap so I reused one from an old set of PC keycaps.