so we keep the gas tax but still have a new tax based on mileage, yes that's double dipping. Except for the very few vehicles that don't use gas/diesel.

Interestingly, one reason that the 49ers under Bill Walsh were so good was Walsh's insight that defensive strategy (going back to when Tom Landry was an assistant coach for the Giants) was largely based on charting play calling tendencies in down and distance situations and that the best way to attack that was to make your play calls with as little correlation as possible to down and distance. That was the major reason that Walsh scripted the first several (at times over 15) plays of the game (the average number of offensive plays a team will run in an NFL game is about 60 so 25% of the plays were randomized (from the perspective of down/distance)) and the success of Walsh's 49ers has made such scripting a standard component of NFL strategy (and I'd suspect that many NFL offensive coordinators run software that looks for tendencies in their past scripts).

No, its not
Executive Order 13526 Section 1.1(4)(c)
Classified information shall not be declassified automatically as a result of any unauthorized disclosure of identical or similar information.

Um... rotate the screen?

In practical terms, BSB no longer exists - it was "merged" with Sky, but the result was a renamed Sky with a lot more capital.

BSB still exists... ever hear of Sky Sports (which is, IINM the single biggest driver of subscriptions for Sky), formerly The Sports Channel on BSB (Sky thought that Eurosport was sufficient!)?

The operator's Internet streaming services are, in practice, much more popular than the satellite services they were originally formed to create.

And yet 80% of the service's subscribers are only paying for the satellite service (internet streaming is not included in the base subscription)...

The US also has Sirius/XM, Satellite radio systems that, like the digital radio systems, have proven to be wildly unpopular. Again, these systems were not developed by any governments. The developers/operators of the two systems have had to merge just to keep afloat

The UK had Sky and British Satellite Broadcasting, satellite TV systems that, like the digital radio systems, have proven to be wildly unpopular.... the developers/operators of the two systems had to merge just to keep afloat.

The reason the two satellite radio operators nearly went under was because they went into a few years of trying to outspend each other on premium content and marketing, just like what happened with Sky and BSB. Merge and the dicksize wars go away and profits follow in short order (Sirius XM is one of the few American radio operators that's currently profitable).

If Nokia had introduced a digital broadcasting standard, they'd have had devices on the market, but who would have been transmitting? People who bought broadcasting equipment from Nokia? Would the BBC have bought into a single-vendor solution like that? Absolutely not. And if they'd got other companies on board, they'd have needed a similarly long standards process (see WiFi) to get them all to agree and to avoid incompatibilities between implementations.

North America's experience with satellite radio (20m paying subscribers after 8.5 years) vs. HD radio (barely 1m units in the wild after 5 years (5 years into satellite radio, there were over 10m subscribers)) plainly indicates that a more integrated hardware design/hardware distribution/broadcasting/content complex is a pre-condition for success.