Is it just me?  I see no updates to "October 2023 Archives" past Oct 1st. https://lists.ipfire.org/pipermail/development/2023-October/date.html .