Library: No Such File Error - Is Web Editor down?

Hello,

My students are all reporting that the web editor is now working this morning.
It appears to be an issue including libraries during compilation.

Here is a link to an example project: Arduino Cloud

Screen Shot 2020-11-03 at 11.38.07 AM.png

Screen Shot 2020-11-03 at 11.38.11 AM.png

Screen Shot 2020-11-03 at 11.38.07 AM.png

Screen Shot 2020-11-03 at 11.38.11 AM.png

Hi @DEMC. I am able to reproduce the issue. I have reported it to Arduino.

As a workaround, you can download and then import the missing libraries: