c77976b8 ci: custom release notes 46dfc384 ci: replace sha txt with immutable releases c9e395d0 repl: tweak version formatting 4514f0db gitignore: add repl history 160d7398 install.sh: tweaks