[ros-diffs] 01/01: [EXPLORER] Fix creation of shortcuts in the start menu.