I'm not sure what the financials of the SerentiyOS project look like. It sounds like he streams the development. If that's his primary source of income, then doing the fun stuff seems like it enhances the revenue stream?