Sorry about the monolithic PR; this includes a bunch of changes:
Mere specs and whitepapers have been relegated to their own category.
I deleted some dead projects (as per the maintainers)
Projects, which as per their own description, do not have contact tracing in scope have been removed
"big" projects are now in bold, just to make it a bit easier for people to navigate between the some--person-with-6-commits-projects and the huge projects.
Controversial, but I think necessary to keep this meaningful.
Updated/removed projects where they had merged.
More details/justification in github comments below.
Sorry about the monolithic PR; this includes a bunch of changes:
More details/justification in github comments below.