main():  Include a comma between the module name and page number, to make
	 the generated index more like the "standard" generated index.