Replace update banner with passive dot indicator in Options menu#793

backnotprop merged 3 commits into

mainbacknotprop/plannotator:mainfrom

fix/790backnotprop/plannotator:fix/790Copy head branch name to clipboard