polyrith does not work in the web editor

Stream: mathlib4

[Eric Wieser]

If you use polyrith, you get "Could not find Mathlib directory. Make sure the LEAN_SRC_PATH environment variable is set correctly."

[Bolton Bailey]

I am getting this error too, but on my own computer. Strangely, it works fine in VSCode and it even gives the correct linear_combination call in the InfoView, but when I try to build my file using lake build I get this error.

./././FormalSnarksProject/SNARKs/Groth16TypeIII.lean:504:2: error: Could not find Mathlib directory. Make sure the LEAN_SRC_PATH environment variable is set correctly.

Is this expected because polyrith makes external calls?