The chromatic number of random Borsuk graphs. Issue 3 (5th November 2019)