\style{Automatic file-name completion}
ext.web&(string)&Extensions (space-delimited if more than one)
	for the web file (first file name on command
	line). \<"web">^^:style file!vocabulary!\>{ext.web}:\cr
ext.change&(string)&Extensions (space-delimited) for the change file
	(second file name on 
	command line). \<"ch">^^:style file!vocabulary!\>{ext.change}:\cr
ext.hweb&(string)&Extensions (space-delimited) for an include file (first
	file name on an 
	\.{@i}~line). \<"hweb">^^:style file!vocabulary!\>{ext.hweb}:\cr
ext.hchange&(string)&Extensions (space-delimited) for change files
	associated with include 
	files (second file name on an \.{@i}~line). \<"hch">^^:style
	file!vocabulary!\>{ext.hchange}:\cr 


