Looks like @blatinier hasn't commented yet!