(lib<all sorts of stuff>.tex):

Merged in many typo corrections and fixes to support GNU info
	processing; submitted by Tamito Kajiyama.