remove redundant technicalities, expand section on autocompletion