Hi Ed,
I tried to reset the password using both methods (your tutorial and the script given in
drupal.org/node/1556488 )and I found the differences in the password generated:
For testing purpose, I reset the password to "abc"
1) By following your tutorial, the "abc" password generated was "900150983cd24fb0d6963......
2) Using the later method, the password generated was "$S$DfNKtkw8.YvTUgmbRToXcAL.VPdZWn7JKA......."
Obviously they are different. The first reset password failed to login to the admin area while the other works. So, perhaps you may want to try it out yourself again on the latest drupal 7.14 and see if there's any update done on the drupal 7 so far. Thanks.