Looks like @arapov hasn't received any replies!