Currently, the user still has to manually delete the profiles inside a project before deleting the project to make sure e.g. the corresponding PostgreSQL database is dropped. I'm now writing instructions on how to do this, and I was thinking it'd be handy if there was a --profiles option added to the aiida-project destroy command that takes care of this.