Man pages matching name docker-ps in section 1:

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