v2025.10.1

What's Changed

• fix goto_last_window by @funemy in #373
• Remove some keywords in leanDeclaration by @stephen-huan in #385
• Add orientation opt to force infoview orentation by @lucianchauvin in #403
• Fix backslashes on multiline comments by @MithicSpirit in #419

New Contributors

• @funemy made their first contribution in #373
• @stephen-huan made their first contribution in #385
• @PatrickMassot made their first contribution in #386
• @emmanuel-ferdman made their first contribution in #397
• @lucianchauvin made their first contribution in #403

Full Changelog: v2024.12.2...v2025.10.1