19x19 server: I have changed 10 minutes to 30 minutes per side. I have modified the anchors (but the --positional-superko option is seemingly not recognized; I'll correct that later). Olivier