OK, build instructions are ready. But there is a little problem : the file is a 9MB .odt file (created by libreoffice). I can't upload that, it's not a "supported" file format on this forum although .odt can be opened by Word. I can make a .pdf, but that's 96MB ! Where can I learn which file formats are supported ? What would be an appropriate choice ?