You can now go to dodecagon.nl where both files are listed in the manuals section for download. The site is just published.