Thank you for your reply. I can confirm that the preset(s) are deleted from my system (Windows 10). However, the dropdown menu entries linger. Also, the presets from the version 9 suite are selectable in the ADDITIONAL EXTERNAL EDITOR dropdown. On Windows, the option to delete the preset is not down in the same manner.