[bash] How do I rename the extension for a bunch of files?

If you prefer PERL, there is a short PERL script (originally written by Larry Wall, the creator of PERL) that will do exactly what you want here: tips.webdesign10.com/files/rename.pl.txt.

For your example the following should do the trick:

rename.pl 's/html/txt/' *.html