+ color: "#98df8a",
+ }, { name: "AlGrothendieck",
+ fingerprint: "8E6EDA78D8E3ABA88D877C3E37D6D4F0938C7B9F",
+ color: "#d62728",
+ }, { name: "elenagb",
+ fingerprint: "F47B13BFCE4EF48CDEF6C4D7C7A99208EBB972B5",
+ color: "#ff9896",
+ }, { name: "mwittig",
+ fingerprint: "2AB6F7D59DF6153F4DB1DB6479C3422F5724C4BA",
+ color: "#d9edf7",