It looks like it was only added to that page under the solved section _after_ an LLM solved it