EDIT:This is my second time posting this comment. The first time I posted it the page refreshed (as it would upon a successful submission) but the comment didn't show up anywhere in the thread. Not sure what happened there, but re-posting again as ...
