[graph-tool] Website down?