This file is indexed.

/var/games/nethack/dumps/ is in nethack-common 3.4.3-15build1.

This file is owned by root:games, with mode 0o2775.