Let's keep the full version in the Git checkout for some times, just in case it might be useful to use in some circumstances (for debugging for example).