I've added the writeup.