Looks like @anatolyknesterov hasn't received any replies!