GitLab

Exclude some not necessary agent. Otherwise we will wait for example that nepomukfeeder finished before show notification

toggle numinput widget given the state of the disable checkbox.

makes indexing more reliable.
make also make cpu requirements go up (due to virtuoso)

don't backport this to the 4.9 branch, not yet anyway.