Pert,
Is your sketchbook folder located inside your OneDrive?
No.
But, after reading your question your question I remembered that I had changed the default directory of "Sketchbook Location" and so IDE couldn't find the new library in its standard Sketchbook. After returning to the default directory, the ESP32 board was listed in "Tools -> Boards" menu.
Thank you for your help.