@werdahias Github/Microsoft seem to be reconsidering, so we'll see how that pans out. If the current proposal or something like it ends up going ahead, then we will probably have to start considering other options. https://github.com/orgs/community/discussions/182186