An earth is a simple concept. The only thing that complicated an earth is poor conductivity which results in voltage differential between earth points. For this reason I’d be cleaning the earth used as suggested with a wire brush on both the spigot and the nut. There should be no performance difference between the two earth locations in front of the battery.
Actually, they’re no so simple when we get into things such as earth loops in audio, but even that’s not too hard to deal with.

