Commits for 2025-05-08

The following 1 changes have been made on 2025-05-08:

- web setup updated (Author: Mirko De Grandis, Hash: #3d488c2)

Check it out. More are coming soon!