Make agenda leaders for time ranges configurable.