to_flop.xml: Various disk additions + corrections.