Fixed these bugs:

add.run CallStack error issue on 0.5.11 (reported by @rlmark)
Feedback when a scratch file change is picked up (reported by @ceedubs)
speed up find, by eliminating historical name search (reported by @stew and others)
- may show a few more hashes than previously; you can use names.global <hash> to investigate the name, and then alias.term or alias.type to create a name in your branch.
extend fzf support to all required arguments (multiply reported by @ceedubs)
Nat.fromHex fails for some input when it is a substring of larger Text (reported by @hagl)
Baffling error messages when using / instead of Float./ (reported by @stefanholzmueller)
update issue with sum type, adding a new type constructor (reported by @kylegoetz)

All PRs since last release

Adding a message for when ucm started reloading changes by @unorsk in #4540
Fix TDNR bug by @tstat in #4558
Use explicit 'writeSource' method when writing back to scratch files from UCM by @ChrisPenner in #4541
Bump lsp lib and handle trace notifications by @ChrisPenner in #4372
cleanup: dont use NamesWithHistory by @mitchellwrosen in #4566
Bump tj-actions/changed-files from 37 to 41 in /.github/workflows by @dependabot in #4552
bugfix: make addDefinitionsToUnisonFile not strip decl names from constructors by @mitchellwrosen in #4559
FZF on argument types by @ChrisPenner in #4519
update the name of the pre-release build again by @aryairani in #4565
refactor: delete NamesWithHistory by @mitchellwrosen in #4569
Improve error messages on un-resolvable fuzzy command invocations by @ChrisPenner in #4573

Full Changelog: release/0.5.12...release/0.5.13