I was trying to resolve a problem with not opening local directories as listed for each site so was poking around in the settings .ini file

I was shocked to find that it was full of really old sites that have not been active for several years despite having deleted them in the interface.

What is the correct way to remove a site that will also clean it out of the .ini file?

Do I have to risk manual editing of this whole file for obsolete entries?

Shouldn't the be removed when a site is deleted?

//