#5882 keep the CMS settings configurable; just change the defaults to Lucene's