tfc's Highlights on 'LLM+P: Empowering Large Language Models with Optimal Planning Proficiency' | Glasp