Looks like @lippov hasn't received any replies!