@lukasros Thanks for the encouragement. I did try, nothing went wrong (so far) and everything seems to be working as I expect.
One more question: As this really was a major cleanup, I wonder whether there is some way to get Git to abandon all the previous commits and just start from fresh again. I'm sure they don't take up a lot of storage or anything, but I know that I won't need any of them ever again. Or maybe it just isn't worth it.
// @matigo