On Mon, Dec 23, 2024 at 09:14 PM, Bell, Dave wrote:

But an earlier download of the same file does have the .asy!

There is no record that you ever uploaded a corrected file, until now.

 

I'm guessing that you uploaded it to a different group and later downloaded it from that other group.  Or maybe you imagined doing both?  But the modified file never made it to the group until now (0111 UTC).  It would have to be a really major "glitch" for the file to show up but have no record of it in the group's activity log, and then to spontaneously disappear some time later.

 

But thanks!

 

Andy