Annotate archived repos with "(archived)"

Closes #200

fetch_repo_info.py

@@ -12,6 +12,7 @@
 
 """
 Possibly interesting fields:
+- archived
 - created_at
 - description
 - forks_count
@@ -101,7 +102,8 @@ def main(filename='repos.jsonp'):
     json.dump(dict([(url,
                      {'rank': repo['rank'],
                       'stars': repo['stargazers_count'],
-                      'updated': repo['updated_at']})
+                      'updated': repo['updated_at'],
+                      'archived': repo['archived']})
                      for (url, repo) in repos]),
               f,
               indent=4)

index.html

@@ -30,8 +30,12 @@
       }
       row.append($('<td>').text(stars));
 
-      row.append($('<td>')
-        .append($('<a>').attr('href', impl.repoURL).text(impl.name)));
+      const name = $('<td>');
+      name.append($('<a>').attr('href', impl.repoURL).text(impl.name));
+      if (impl.archived === true) {
+        name.append(' (archived)');
+      }
+      row.append(name);
 
       const authors = $('<td>');
       if (impl.authors !== undefined) {
@@ -93,6 +97,7 @@
           impl.rank = repo.rank;
           impl.stars = repo.stars;
           impl.updated = repo.updated;
+          impl.archived = repo.archived;
         }
       });
       impls.sort(function(a, b) { return b.rank - a.rank; })
@@ -634,7 +639,7 @@ <h2>Courses teaching Raft</h2>
     <a href="https://changlousys.github.io/">Chang Lou</a>.
     Includes lecture on Raft and programming assignment (Go). (Spring 2024 ...)
   </li>
-  
+
   <li>
     <a href="https://ucsd.edu">University of California, San Deigo</a>,
     <a href="https://canvas.ucsd.edu/courses/43955/assignments/syllabus">CSE224: Graduate Networked Systems</a>,
@@ -649,7 +654,7 @@ <h2>Courses teaching Raft</h2>
     <a href="https://martin.kleppmann.com/">Martin Kleppmann</a>.
     Includes lecture on Raft. (Winter 2022/2023, ...)
   </li>
-  
+
   <li>
     <a href="https://illinois.edu">University of Illinois Urbana-Champaign</a>,
     <a href="https://courses.grainger.illinois.edu/cs425/">CS425: Distributed Systems</a>,