Looks like @petrpollyak hasn't received any replies!