After some consideration, I've decided to put off my last day and retire officially on Jan 1 2025. This is just to build up a bit more cash on hand for some work on the house I want to do over the next couple of years (most of my money is in retirement accounts right now). However, in effect my last day of actual work will probably be sometime in early to mid Dec, so it makes more sense to stay in this cohort.