Man pages matching name miral-shell in section 1:

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