Fixed HOWTOs even more.
While last commit 138dd1 worked in the sense that git was applying the diffs
without complaining, the actual file numbers were all messed up. This
commit fixes this by applying each of the commits and then regenerating
the diff by calling pack_howto_diffs.sh
