I hope you're right about that... I hope the news is right. But that page and indeed the files are dated from February of this year. I'll grant that other parties aren't as interested in updating Linux and MacOS versions of anything, but I thought I recalled reading elsewhere that Linix was simply being dropped. I wonder where I read that though. It was quite some time ago though I'm sure it was after February of this year.