anchor.diff:  
       // stackoverflow.com/questions/1026069/capitalize-the-first-letter-of-string-in-javascript	
       function capStr(string){
  -      return string.charAt(0).toUpperCase() + string.slice(1);
  +	if(string == "n/a"){return string;}
  +	return string.charAt(0).toUpperCase() + string.slice(1);
  +    }
  +
  +    function invalid_search(term){
  +	return term.length<2;
       }
   
       function noMatchesMsg(term){
  -	if(term.length<2)
  -	    return capStr(arr_msg.seach_requirements);
  +	if(invalid_search(term))
  +	    return capStr(arr_msg.search_requirements);
   
   	var base_msg = 	capStr(arr_msg.search_no_found)+". ";
   
  
positive.code: 		optns_all:
  		optns_partial;
  	    choices = append_header(choices);
  	}else{
  	    choices = linear_search(query.term, optns_all);
  	}
  
negative.code:     }
  
      function format_summary_text(size, container){
  	var s = new Size(size.id);
  	var str = s.bsd
  	    +": \""
  	    +s.trad()+"\"";
  	return str;  
      }
  
      function format_compact_text(size, container){
  	var s = new Size(size.id);
  	return s.diameter();
      }
  
      // Check if the object is an array of strings or just a string
  