3 ms·

Propietary, requires an account and mergetool is behind a paywall (although this is not as significant). Ouch.