* tramp.texi (Traces and Profiles): Simplify loop over