Sudden loss of ESP2866 board support

I've been using Arduino to program a NodeMCU board for a while now, but it has suddenly vanished from my tools/board menu. Does anyone know what might have happened? I recently received a notification that there was a new version of Arduino available, but I'm pretty sure I declined the opportunity to update my system.

Please do this:

  • Tools > Board > Boards Manager
  • Wait for the downloads to finish
  • Click the “Close” button in the Boards Manager window.
  • Click on the black console window at the bottom of the Arduino IDE window.
  • Press “Ctrl + A”. This will select all the text in the console window.
  • Press “Ctrl + C”. This will copy the selected text to the clipboard.
  • In a reply here, click the </> button on the forum toolbar. This will insert code tags into the reply field.
  • Press “Ctrl + V”. This will paste the copied text from the clipboard between the code tags.
  • Click “Post”.