Report question

Question: In MySQL, how do I batch rename tables within a database?