Categories: if cat. is from alternative repo, print repo name

src/CategoryBase.js

@@ -41,6 +41,13 @@ function CategoryBase (id, data) {
     a.onclick = this.toggle.bind(this)
     domHeader.appendChild(a)
 
+    if (this.repoId) {
+      a = document.createElement('span')
+      a.className = 'repoId'
+      a.appendChild(document.createTextNode(this.repoId))
+      domHeader.appendChild(a)
+    }
+
     if (options.debug) {
       a = document.createElement('a')
       a.appendChild(document.createTextNode('⟳'))

src/category.css

@@ -69,6 +69,12 @@
   user-select: none;
   font-size: 15px;
 }
+.category header > span.repoId {
+  margin-left: 0.2em;
+  font-size: 10px;
+  line-height: 10px;
+  color: #7f7f7f;
+}
 .category header > a {
   text-decoration: none;
   color: black;