You might be right: I am indeed using https://aur.archlinux.org/packages/minecraft-server. I thought IDLE_SERVER was an upstream feature but it seems to part of that package's management script.