I grant the other points, but if the government took over the bitcoin repo and changed it, why wouldn't people just keep using the old version of the software?