Re: [PATCH v13 4/4] Documentation: trace/objtrace: Add documentation for objtrace