removing the dev mailing list from the docs