precisions on rewriting history

This is an oft-debated point that deserves more precisions. See, e.g.

https://github.com/scala-ide/scala-ide/pull/455