More on leaked Greek debt deal documents