Hi there, I try to follow the best practice of regular repo maintenance, which afaik consists of running `git gc` every week or so. So I thought I had a well-maintained repository, and was quite surprised to discover some very large .git/objects/pack/tmp_* files, which apparently are entirely needless and should be cleaned up, but `git gc` doesn't clean them. Is there another command I should regularly run, instead or in addition to `git gc`, to keep my repo well-maintained, and specifically, to remove such unnecessary files from my .git directory? Thanks, D.