updated hosts entry for MySQL docs. Thanks Ian