Using windows boot manager to boot fedora

I found this option on Windows 11 24H2 and didn’t remember seeing it before. Maybe it was there for a long time already?

(The Fedora 23 screenshot looks the same as the 40, with a different title bar.) :smile: