Thank you for the update, @Jon!The new feature, while very nice (and also indicative of the willingness to listen to users and to invest hard work in collaborating with them!), is currently not meaningful:even when the feature is enabled, authenticat...
First, a huge thank you to the people who made this feature happen, I find it super useful!I have some feedback:- The history sidebar is less functional than the standard "library" history window, e.g., it would be great if one could choose to displa...
