In the era of LLM-generated content, such a high-quality writeup is a breath of fresh air. Well done!