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

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