Post

🆕 Nova 14 is out! A HUGE language server upgrade: connect to already-installed servers OR one-click install new ones, with automatic updates, pinned versions, and more. Also enjoy powerful language upgrades. ON SALE now, 40% OFF until August 1! ⬇️ Get it at nova.app

Any chance of updated Extension API developer docs? AFAIK they are still at v12. Thank you in advance.