SOLVED: Lol. Looking for this for hours, and now I also removed a soundset, and I knew I needed to refresh the instrument plugins for that. While rescanning, I noticed that the 'Pitch Names' folder was also scanned, and yes. It was clean :)
So, refreshing the pitch names list is done by refreshing the instruments in the browser.