Haven't shot IR film is a while, from my memory
Lenses do behave differently, that is why the old Takumar lenses had the IR focusing mark (Red-R line as shown below)
Since IR filters make it very difficult to see thought the viewfinder, you focus without filter (focus to diamond), then move the focus-mark to the R-line for IR
As you can see that was a pain, so I preferred using RF cameras, so that I could focus and shoot easily. Zeiss lenses behaved great in IR, so no need to adjust focusing
Extended Red sensitivity films (SFX200 or Superpan) don;t go into the full IR, so this adjustment is not needed
However a 720nm filter is quite dark, so focusing without, and then adding the filter is a hassle
Filter is dark, and SFX200 with a Cokin P007 or a Wratten 89b filter was rated as 12-16 when light was metered without filter (5 stops loss)
Wratten 89B Data