Editor's drafts for elear-patch-1 branch of elear/teap-config-options