Minor changes and cleanup regarding "highlight all" and entry error

2 jobs for !12 with save-highlight-all-state in 1 minute and 32 seconds (queued for 3 seconds)
detached
Status Job ID Name Coverage
  Build
passed #2162
build

00:00:41

 
  Distcheck
passed #2163
distcheck

00:00:51