The name change really only seems to be present in the repository description for now. Virtually everything else has been left unscathed. I think it's a shame,

The name change really only seems to be present in the repository description for now. Virtually everything else has been left unscathed. I think it's a shame, personally. The name "Nimrod" is just so distinctive and it's going to be pretty hard (at least for me) to shake off the inertia.