Man pages matching name interfaces-batman in section 5:

interfaces-batman.5.en

debian 12 / ifupdown-ng