when using the download icon and its right side adjancent least recently used listing
it can be the case that all binarys for processor cores that are running will get grayed out.
when selecting a specific core in the debug-interface processor listing and all cores are halted
then the listing from the download button will show all binarys as beeing available.
as all listed binarys are already known by its target platform and a target platform is known by the selection
then it should be possible to gray out all non-matching binarys in that listing. - this is a proposal for a GUI improvement.