my guess would have been format_text()
Yes, I would do the same. The
admin_setting_confightmleditor has the format hard-coded to
FORMAT_HTML so it is the right one to use when formatting it, too. Additionally, this admin settings element seems to have the
noclean set to true so you may want to set it when formatting the text, too.