Apparently, the German version of the "additional software" page on our website still recommends MiKTeX for Windows. It looks like the Spanish version also does so. In any event, the point is that it's out of sync with the English version. I would guess there are other issues like this. What to do? Riki