Fix #16607: Wrong option html_tags in Admin Guide