Documentation: Update ido installation.