From Johns Hopkins Uni: I have a feature request. We have had several patrons who have complained about the Lean Library extension not working and/or asking if they can disable the popups. Can you add a setting or toggle so that users can quickly ...