Great writeup! Btw what tool did you use to make the merge diagrams?