Boris, could you take a look? This seems relevant with the stuff you know well... Put Jiri on Cc, too.