Man pages matching name mido3-serve in section 1:

mido3-serve.1.en	debian 10 / python3-mido
mido3-serve.1.en	debian 11 / python3-mido
mido3-serve.1.en	debian 12 / python3-mido