The blog post was published 1 day prior to the files getting uploaded to TuxFamily (they were presumably already uploaded to https://godotengine.org/download/archive/4.2-rc2/ on that day), hence that date being used instead of the 25th November 2023 date shown on the TuxFamily page.
Using TuxFamily download link.
The blog post was published 1 day prior to the files getting uploaded to TuxFamily (they were presumably already uploaded to https://godotengine.org/download/archive/4.2-rc2/ on that day), hence that date being used instead of the 25th November 2023 date shown on the TuxFamily page.