Document Nimrod commits and fix 'already installed' condition