Thread:Sannse/@comment-8473893-20131204221323/@comment-8-20131209194326

As I said, it can cause errors. It doesn't do so every time, and double renames have happened accidentally, but it's not a good thing and definitely something to avoid.