Man pages matching name aminerremotecontrol in section 1:

AMinerRemoteControl.1.en	debian 10 / logdata-anomaly-miner
aminerremotecontrol.1.en	debian 11 / logdata-anomaly-miner
aminerremotecontrol.1.en	debian 12 / logdata-anomaly-miner