Assume a startup launched a successful open source GPL project but failed to monetize it and closed shop without finding an acquirer for its assets.What happens to the copyright of that code?
1. Does it get transferred to the shareholders, who would then all have to agree with each other to be able to relicense one day?
2. Does it fall into public domain?
3. The copyright is transferred to the state?
4. It falls into some no man's land and never can be relicensed?
5. Maybe that's a question that must get an explicit answer as part of the winding down procedure?
6. Something else?