I want to re-install Deepin by wiping away my existing Deepin partition and do a clean re-install on that. The system partition where GRUB and Windows boot files are stored will not be touched. Can anyone confirm if the Windows 11 boot menu option will still be there after the re-installation?