Looks like @lindell hasn't received any replies!