Published add-ons still downloadable after deleted

[demario]

It appears that, on the 1.17 add-on server, the published add-ons that have been deleted through the in-game interface are still available for download.

While the add-ons are not showing in the in-game add-on manager, they are still listed on the https://addons.wesnoth.org/1.17 web interface.
If we click on the Download icon, the download dialog appears with the .tar.bz2 file is available for saving on the local disk. That means that the zip file of the published add-on is still stored on the add-on server storage.

The request to delete an add-on through the in-game interface should lead to the actual deletion of all uploaded files from the add-on server storage.

In both version 1.14 and 1.16, when the deletion of an add-on is requested, the add-on would not show on the web interface anymore (thus we can assume they were completely removed from the storage).

[Pentarctagon]

The 1.17 web interface is no longer getting updated and it stores the add-ons referenced by the download links separately from the actual add-ons server, so even though it was deleted from the add-ons server it's still available there.