Man pages matching name miplug in section 1:

miplug.1.en	debian 11 / miio-tools
miplug.1.en	debian 12 / miio-tools