I just noticed that texi2html from the jan 12 image starts with #! /usr/local/bin/perl I changed it to /usr/bin/env perl. I'll write Patrice (upstream) about it, too. Best, Karl