Man pages matching name arduino-builder in section 1:

arduino-builder.1.en	debian 11 / arduino-builder
arduino-builder.1.en	debian 12 / arduino-builder