I have 4.1 so for the longest time, I have had trouble with the editor crashing in many javascript cases. Is the link you provided to the newest version???