PHP 8 Release Announcement Page

In seven days, https://www.php.net/releases/8.0/en.php is going to be obsolete. Well, that's a harsh term, but it certainly won't reflect the current state on the ground, and we need to decide (should have decided, weeks ago) what we're going to do with it. 1/ Make a new announcement page for 8.1 ? Effort: High, Impact: Awesome 2/ Update the 8.0 page? Effort: Moderate, Impact: Still relatively awesome 3/ Remove the link from the banner (but still keep the page for archival purposes). Effort: Low, Impact: Shrugs all around 4/ Remove the link AND the page. Effort: Low, Impact: But... why? Personally, I've not got the cycles for 1 or 2, so I vote 3. Anyone care to do more? Bear in mind translations will be wanted. If nobody steps up, then I'll plan on implementing #3 next Wednesday. -Sara