Add formatting in dual-boot.org.