Looks like @egludkov hasn't received any replies!