integration hassles, cont'd:

	gave up on trying to mess with different versions of jade on
		different architectures, at which point it became clear
		that I wanted the formatted docs to be distributed in
		a different package than source or binary, so...
	...wrote html-distribution.sh to slurp up the HTML-formatted
		documentation
	...tweaked binary-distribution.sh so it no longer slurps up the
		HTML-formatted documentation