Eli Zaretskii wrote: > > It looks like the tracepoint-related commands are not documented > anywhere in the manual (except in the Credits section ;-). Did I miss > something? Not as far as I know :-( Andrew