Add rmi-pros doc.