[sr-dev] git:master:dad7f3ff: file_out: small extensions to the module docs