doc/texi2pod.pl: drop unnecessary rule, which was converting "\," to ","