> I'm thinking to point the project page to the source repository (e.g.
> GitLab) when the project has sources, but doesn't have a project page.
That is a really good idea.
This is now implemented for all projects, except for "mit-cadr". The problem with mit-cadr is that they use the "public_html" dir to host downloads, but did not bother changing the project's default page. The technical implementation I used to support the redirect doesn't allow hosting the downloads *and* redirect the projects page. I'm thinking how I can resolve this last project's redirect.