Edit: version.pyi