Looks like @aginsburg hasn't received any replies!