Man pages matching name mysqlhotcopy in section 1:

mysqlhotcopy.1.en	debian 10 / mariadb-server-10.3
mysqlhotcopy.1.en	debian 11 / mariadb-server-10.5
mysqlhotcopy.1.en	debian 12 / mariadb-client