Docker: geoserver extensions

Hi,

We are trying to implement new geoserver environment with docker.

Noticed during the installation, that current docker.osgeo.org containers (v 2.28.x) use a deprecated sourceforge link (download.sourceforge.net)

When actually the extensions are here GeoServer - Browse /GeoServer/2.28.0/extensions at SourceForge.net/download

Also, shouldn’t it use Index of /geoserver/ to fetch extensions? (build.geoserver.org)

In version 3 it uses this link, is this the correct place to report a change in the v2.28 container?