Why is gwern.net on the front page twice, is this coincidence?