I'm going to try to merge this thread with https://news.ycombinator.com/item?id=22866284, which was posted earlier. Bear with me, as this is not a simple surgery.

Edit: ok, that's done.