Documentation: talk about pager in api-trace.txt