Acknowledgements

We would like to acknowledge the following organizations for their support:

• Zulip is an organized team chat app designed for efficient communication. We thank Zulip for their free support.