I’d figure if they open sourced it, that’d only help them with bringing it back: Current customers would definitely view that favorably, as would anybody who happens to be paying attention. They could use some positive PR, especially right now.