Looks like @grigori hasn't received any replies!