Adding minirel-doc.pdf