OPTIONS slightly re-organized
RST exportation : sharing out files is ok.