(Did HN finally increase the character limit for toplevel comments? Normally >2500 chars will get you booted to the very bottom over time. Happy to see this one at the top. It might be because of a 2008-era account though. Thanks for putting in a bunch of effort into your writing!)