console: retweak.

  - To be robust for random builds
  - Add a CSS class, "notbuilt".
wip
It works!
Tweak restart not to miss master.
builderNames may be either array or set. Set cannot be indexing.
Add comment.
wip