if they owe debt, they may not be legally able to open source their software, since it could still theoretically be sold to someone to pay off debts. is there an expert in bankruptcy law that knows for sure?