当像 Python 的 @gvanrossum 这样的开源明星被大科技公司聘用时，这个过程是如何运作的？ 这些公司是否为他们分配时间继续他们的贡献，还是他们作为 "普通" 工程师工作，只在空闲时间参与项目？