Do we have a how-to somewhere, where the dual boot installation of Windows and Fedora would be described when the Windows disk is encrypted?
In case we do not have it, create it.