Board search not working v2.3.6

[ptillisch]

I encounter something somewhat similar:

Not detecting arduino uno port

I encounter the 'NO BOARDS FOUND FOR ""'problem the second time I attempt to use the "Select Other Board and Port" dialog. Once you type a query in the search field, it will show results. And if you then delete the query it will show the full list of boards as expected. I don't remember encountering this problem historically, so I suspect it is a regression introduced in a recent version of Arduino IDE (e.g., 2.3.5/2.3.6). Note that the 'NO BOARDS FOUND FOR ""'problem is not caused by a lack …

However, note that this is limited to a lack of a list of boards in the "BOARDS" field of the dialog:

I am not able to reproduce the "causes the whole dialog box to go blank" fault that is tracked by arduino/arduino-ide#2551: