When deleting a profile in Profile List, the following profile is also removed (temporarily) from the shown list. When going back to the page /profiles/profilelist (not refresh) the other profile is back, so it was not removed from disk. I found this when I noticed that the list was shorter than expected after a delete.