When projects are deleted in Pavlovia, what happens to credits?

URL of experiment:

Description of the problem:
I manage credit assignment for the members of my lab, and there have been occasions where the researcher deleted their project when there were credits still assigned. Are those credits now gone, or do they revert back to my account? I am usually assigned Maintainer status on GitHub, and then can add credits from my account. We have a lot of credits right now, which is why I am not sure if those credits disappeared.

Credits from deleted projects should be released automatically. If this isn’t the case, please let us know.