When I click the icon to download the tef file it does so as tef.html. I have not found a way to do it any differently on my mac and have missed out on several songs you have uploaded. I can however download the pdf file and then write my own tef file from that but what is the purpose when it is already done. I have the most current version of tabledit. Maybe someone else has figured out this and can enlighten me or have it fixed. Thanks.