1. when modifying the documention properties, hide the text field for the file name if the documentation was download from the internet
2. show icon for the documentation if it was provided as part of the arhive
3. don't show the "Show Help" action in the context menu of a command entry if the command is empty yet
4. minor UX improvements in the settings widgets for R and Julia