@Olivier Mehani Let's talk more post-release. We've made it easier to change the data location. "user_dev" sounds like a weird location, because that was meant to be the "developer-only place to store data", but through various accidents of history, it's become the default. I'd like to change that.