I just installed your patched os-prober. Now I'll reinstall Leap and change the formatting from ext4 to btrfs. I'll be back with the results.