Detlev, Did you update the repo regarding your fix for the help browser crashes? If so, how do you do an install from the repository download? David.