Cleanup after deleted library

[ajp_anton]

Can you re-create the library with exactly the same name then delete it again?

It worked, thanks. I also thought of this, but wasn't sure if libraries are stored as the library name, or as a unique ID.

Since the original library contained 20k files that took forever to scan, I created the new one with a slightly smaller subset. This replaced the old library in Home with the new one (meaning the 20k files from before were replaced with the ~10 in the new one).
Then I removed it, which again removed it from Dashboard but not from Home. This time, however, a simple restart of the server cleared Home. The database file remained huge, but a docker compose down -> up cleared that as well.