[simonw]

Posting answers from GPT-4 etc on their own isn't interesting - they become interesting if you do the extra work to verify them first.