I have followed the instructions here:
my Raspberry Pi failed to restart and I had to manually restart it. Unfortunately there are zero programmer options under the Programmer tab. I am unable to perform the “select Programmer” step as there are zero programmer options available. I have tried rebooting several times without success.