Closed mickel8 closed 4 weeks ago
lgtm, I also thought it would be nice if the server url/token were saved as cookies so we don't need to type them on every refresh of the site
Will add something in the next PR
Will add something in the next PR