Man pages matching name miral-terminal in section 1:

miral-terminal.1.en	debian 11 / mir-demos
miral-terminal.1.en	debian 12 / mir-demos