However, since I upgraded to revision 4668 (I am now at 4690) I encountered frequent crashes of theIDE. ###>However, since I upgraded to revision 4668 (I am now at 4690) I encountered frequent crashes of theIDE.