Add badges, drop devel mailing list.