At some point while I was fiddling, Darktable asked me whether I wanted to get rid of the script manager (hide it? disable it? I don't recall) and I clicked "yes" by mistake: now there is no script manager in my left bar.

Do you know the "proper" way to get it back? (ie. one that is not "delete all darktable settings from your home directory") I searched the preferences but didn't find anything.