Local preferences

There are a couple of preferences that are stored in the browser: the last open project. The last open editors. The last color theme. All these preferences are stored in the browser’s local storage. You can clean it with the Developer Tools of the browser.