Meta: Preserving a nice history when renaming files

[fxjung]

Git is problematic in this regard. See:

• https://stackoverflow.com/questions/2314652
• https://stackoverflow.com/questions/29468273