notes update
notes update
notes update
save point
fork/revert buttons now at bottom of history dialog next to close
refactoring
was-tag now-tag moved to title bar
started CSS for altered history dialog
refactoring
fix copy-paste slip
CSS work on history title-bar controls
ux tweak to fork/revert buttons on history dialog
ux tweak to was-tag now-tag controls on history dialog
put back setup_docker_server.sh which had gotten deleted