doc: nits (Worse is better)
revamp dbg print, improve -Dt trace output for calls and return