Later on, the actual HEAD revision should be compared to what is already installed, so that upgrading is only done if necessary.