Man pages matching name rtla-timerlat in section 1:

rtla-timerlat.1.en

debian 12 / rtla