Use improved settings terminology

2 jobs for !4 with statusnotifier in 4 minutes and 40 seconds (queued for 1 second)
detached
Status Job ID Name Coverage
  Build
passed #2102
build

00:01:44

 
  Distcheck
passed #2103
distcheck

00:02:56