Looks like @lobachev hasn't received any replies!