main
contributing: the work queue is public, and the standard GitHub files exist
ci: the flagship smoke runs there too, and it survives Windows' fake python3