fix markup bugs
Add a section of documentation about the interaction of threads and finalizers