The default pidfile is controlled by this define:

server.h:#define CONFIG_DEFAULT_PID_FILE "/var/run/redis.pid"

The comment in valkey.conf (describing what the default is) needs to match that.

Changing it to valkey.pid is a breaking change, so we'll do it in the next major version.