- poorly tested or undocumented. The last I checked, both builds used the
- Tianocore toolkit, and so support booting BIOS/legacy boot loaders on
- UEFI-based PCs.</li>
-
-<li><b>ALT Linux</b>—This RPM-based distribution is experimenting with
- using rEFInd on EFI-based computers. As I write, the ALT developers haven't
- yet nailed down booting from an optical disc (it's a tricky and delicate
- task, especially when preparing a "hybrid" image), but they're working on
- the problem. They have an RPM of rEFInd; see <a
- href="http://packages.altlinux.org/en/Sisyphus/srpms/refind">this page</a>
- for details.</li>
+ poorly tested or undocumented.</li>
+
+<li><b>ALT Linux</b>—This RPM-based distribution is experimenting
+ with using rEFInd on EFI-based computers. As I write, the ALT
+ developers haven't yet nailed down booting from an optical disc (it's a
+ tricky and delicate task, especially when preparing a "hybrid" image),
+ but they're working on the problem. They have an RPM of rEFInd; see <a
+ href="http://packages.altlinux.org/en/Sisyphus/srpms/refind">this
+ page</a> for details.</li>