How to change WordPress admin password manually (herokeys.com)

It seems odd to use a tool to create the md5 hash when that is available naively in MySQL's tool set.

   UPDATE `wp_users` SET `user_pass`= MD5('newpassword') WHERE `user_login`='username';