Tau² benchmark: How a prompt rewrite boosted GPT-5-mini by 22% | Not Hacker News!