Settings for develop.ontohub.org.