Use HTTPS in BUGS file.