Drush, Multi-site, and sites.php

I first raised this issue in October 2012; then I moved it as a pull request on Github when drush development moved there. Eventually, @weitzman worked out his own [...]