merge in dave's agenda item from https://github.com/tc39/agendas/pull/9