the download button seems to have been be missing for some time now, is there a new way to download or is it not ready yet?
For some weird reason the button "hide file" activated itself... I knew about that checkbox and no way I pressed on it by accident. Anyway, I'm very sorry. You can download the file now or wait for a new version (will be available in 6 hours).