There has been no significant new activity on the mailing list, so let's cancel tomorrow's Zoom meeting. If you have new topics for discussion, please send an email and we'll get to it next time (Aug 26).