friends graph has incorrect coloring #244
Description
friends graph previously displayed rainbow graphs, but something seems to have broken (at least on my setup). Investigate and fix!
This is what I'm seeing now:
