Man pages matching name mariadb-hotcopy in section 1:

mariadb-hotcopy.1.en	debian 11 / mariadb-server-10.5
mariadb-hotcopy.1.en	debian 12 / mariadb-client