Roko comments on Could Germany have won World War I with high probability given the benefit of hindsight?