<div dir="ltr">Per Prof. Bowler's request, here's a group chat for us all: <a href="https://chat.google.com/room/AAAAvSWKh7Q?cls=1">https://chat.google.com/room/AAAAvSWKh7Q?cls=1</a></div>