A fix has been implemented and we are monitoring the results.
Posted Jan 25, 2023 - 15:16 UTC
We are currently working on a hotfix for this issue.
If you are currently experiencing an outage in your Lean Library extension, please go to the browser extension manager page and force update the extension to the latest version (2023.1.1). This will fix the issue for you
Posted Jan 25, 2023 - 14:01 UTC
This incident affected: Lean Library (Lean Library).