The master node's threads are under an empty key (see `getName()` in `Jenkins.java`). I decided to not introduce a new headline for those; and for navigation it'd be unnecessary anyway as they're always first.