config_query_list HTML_WIDGET "Which HTML renderer would you like to use?" webkit gtkhtml none
