$JENKINS_HOME/updates/ does not get updates after first installation

Hi,

First our Jenkins setup: We run Jenkins (2.541.2) in a Docker container on RHEL 9.6, using docker-compose.
Our configuration is using a persistent volume.
We are long-term users of Jenkins.

We have noticed we do not get any new versions to choose from in our installed tools in Jenkins Tools (https://[jenkins]/manage/configureTools/).
The versions are stuck at what was there at our first installation of Jenkins in Docker.
The contents of directory $JENKINS_HOME/updates/ is never updated, it appears.
$JENKINS_HOME/updates/ is on our persistent volume.
We keep Jenkins and all its plugins updated very frequently.

We could of course manually update the files in the ./updates/ directory but that seems wrong.

Any suggestions?

Thanks in advance!

In a fresh install of Jenkins and some plugins on Windows it works to stop Jenkins, remove the contents of $JENKINS_HOME/updates/ and restart Jenkins: all files are added again with up-to-date content.
On our Linux/Docker install that does not work: no new files are added after starting Jenkins.

Perhaps our install has picked up some issues in the last 2 years, but for now I’ll just manually update the files in $JENKINS_HOME/updates/