Changes applied to the opendetex-2.8.4 tree as obtained from:
	https://github.com/pkubowicz/opendetex/releases

Renamed:
	detex.1l -> detex.man

