Force-kill and cleanup processes when tearing down [#334]
Update Texinfo manual