Re: [PATCH] Fix references to trace doc