Lower scheduling priority for hets.
Merge branch 'master' into staging
Merge branch 'staging' into staging.ontohub.org