release/0.5.15

What's Changed

New features:

• LSP support for "format file" / "format selection" / "format on save"
• New edit.namespace command, see here for example usage (reported by @ceedubs)

Bug fixes:

• Better tab-completion of branch-relative paths
• Nicer errors when type-directed name resolution fails (reported by @hojberg)
• Fixed bug when parsing docs for a unique type with unique omitted (reported by @hojberg)
• Fixed an indentation issue in Docs that was causing parse failures (reported by @alvaroc1)
• Fixed a bug with use and names starting with _ (reported by @alvaroc1)
• Fixed raw text-block indentation (reported by @SystemFw)
• Fixed an issue where string gets transformed to ''string'' and then fails to parse if string contains ' (reported by @SystemFw)
• Fixed a type-checking bug where local functions were not generalized (reported by @SystemFw)
• Fixed a Set.findMin: empty set has no minimal element bug on update (reported by @alvaroc1)
• UCM now deletes a remote branch mapping when a push fails because the branch doesn't exist.

Speed-ups:

• LSP no longer preloads names for the entire codebase
• docs.to-html no longer preloads names for the entire codebase

All PRs since last release:

• Changes to UCM for PG Share by @ChrisPenner in #4608
• LSP Format support by @ChrisPenner in #3460
• define IMAGE_NAME for the docker build step by @stew in #4629
• use relative paths in Dockerfile by @stew in #4630
• remove docker from relelase by @stew in #4631
• Add edit.namespace command by @ChrisPenner in #4535
• Fix special case for type doc in lexer by @ChrisPenner in #4635
• Support tab-completion of branch relative paths by @tstat in #4636
• Fix for doc formatter by @ChrisPenner in #4637
• Don't implicitly close transclude blocks by @tstat in #4643
• Make errors nicer when TDNR fails by @runarorama in #4641
• Local definition generalization and possible TDNR improvement by @dolio in #4642
• Delete invalid remote mappings on push by @tstat in #4648
• LSP startup time speedup and CWD fix by @ChrisPenner in #4647
• Speed up docs.to-html by not using root-branch by @ChrisPenner in #4650
• Fix parsing bug involving use and underscore-prefixed names by @tstat in #4654
• Fix raw text-block indentation by @ChrisPenner in #4655
• Add debug.term debug.type for debugging by @ChrisPenner in #4653
• Default to single-quotes by @ChrisPenner in #4659
• Fix bug in update by @tstat in #4661

Full Changelog: release/0.5.14...release/0.5.15