(commontex/), leaving only style support files in texinputs/.  This makes
texinputs/ part of the formatting tools while commontex/ is strictly part
of the actual documentation.