v0.0.130

• Add language configuration support for more brackets used in Lean code (#330) (Author: @thorimur)
• Add syntactic syntax highlighting for string interpolation (#404) (Author: @Trebor-Huang)
• Automatically indent after case focus syntax (. / ·) (#328) (Author: @thorimur)
• Automatically close unicode angle brackets (#405)
• Add an initial commit to the GitHub repository when creating it using the VS Code extension (#406)