Man pages matching name docker-pull in section 1:

docker-pull.1.en	debian 10 / docker.io
docker-pull.1.en	debian 11 / docker.io
docker-pull.1.en	debian 12 / docker.io
docker-pull.1.en	debian 12 / podman-docker
docker-pull.1.en	debian 13 / docker.io
docker-pull.1.en	debian 13 / podman-docker