Question about destructor of database and multiple use access

[Dechcaudron via Digitalmars-d-learn]

On Thursday, 28 July 2016 at 15:18:24 UTC, Lodovico Giaretta 
wrote:
> 3) at program end, live objects are not scheduled for 
> finalization;
> 4) at program end, pending finalizations from previous 
> collections may not be run.

I didn't know these two, can I get source on them?

Also, I'm assuming what I said about calling destroy(instance) is 
as correct as calling a cleanup method?