[PATCH 1/3] docs: trim many projects from CI dashboard