Further update. Just spoke to Elonex – despite the link on the web site they tell me that the teb files have not been updated yet but will be “in the next couple of days”. Mystery solved for now.