config_query FNORB_DOCS "Install HTML documentation?" y
