MIAX finalizuje przejęcie giełdy opcji LedgerX.