> It would be nice if there is a guide on how users (potential contributors) can build .pyi file locally from this repository. _Originally posted by @ryanking13 in https://github.com/pyodide/webtypy/issues/7#issuecomment-1575445349_