+ instructions to use bob-devel mailing list