It is not immediately apparent how you go about changing the name of a MySQL database table via the phpMyAdmin interface, so I thought I...