A Jenkins plugin adds busy executor count to Jenkins favicon.