This is an incredible example of the hubris and ego of tech nerds. The court got it right, because the issue isn't tech, it's economics. The idea that understanding some code makes you more qualified than a judge to handle antitrust law is laughable.
It doesn't matter that 0.01% of users can technically install F-Droid. Reality, is that 99.99% of people fundamentally can't. Apparently the judge can understand this, and you can't.