Adding slack pointer
+## **NEW**
+
+You can get in touch via Slack: batfish-org.slack.com
+
## What is Batfish?
Batfish is a network configuration analysis tool that can find bugs and guarantee the correctness of (planned or current) network configurations. It enables network engineers to rapidly and safely evolve their network, without fear of outages or security breaches.
**Batfish does not require access to network devices.** It only needs offline configuration files, e.g., pulled from RANCID or template authoring tools.
-The developers of Batfish include researchers from [Intentionet](https://www.intentionet.com), University of California Los Angeles, University of Southern California, and Microsoft Research. See [www.batfish.org](http://www.batfish.org) for technical information on how it works.
+The developers of Batfish include folks from [Intentionet](https://www.intentionet.com), University of California Los Angeles, University of Southern California, and Microsoft Research. See [www.batfish.org](http://www.batfish.org) for technical information on how it works.
## What kinds of correctness checks does Batfish support?
@@ -65,7 +69,5 @@ Batfish supports configurations for a large and growing set of (physical and vir
- Quanta
- VyOS
-Batfish does not yet support all devices and may be missing support for less
-common configuration directives. Please file feature requests or bug reports
-using the [GitHub issue tracker](https://github.com/batfish/batfish/issues/new)
-and we'll try to fix. Or, you can :) -- we welcome pull requests!
+If you'd like support for additional vendors or currently-unsupported configuration features, file feature requests or bug reports using the [GitHub issue tracker](https://github.com/batfish/batfish/issues/new)
+and we'll try to fix. Or, you can -- we welcome pull requests! :)
