@ccshan can you share that with ? [My accounts are weirdly disconnected for university-related IT problems]

Let’s meet at https://iu.zoom.us/j/8128564400 and use the Google Drive folder I just shared as a whiteboard

I can’t “meet” - I’ll monitor the whiteboard as best I can.

Re: the Maple bug. Since our artifact has been rejected, I guess it’s now fair game for us to hack our way around the bug to make the talk go through?

It was fair game before too. As long as the hack is not too terrible.

It might take quite a bit of time to get a not-too-terrible hack in place that works. Looking at my schedule, I am unlikely to be able to work on it before the week of July 16th.