Isn't the fact that you now know that the conjecture is false a huge help? At least it will help convince people to look at the conjecture more closely, no?
I don't know if the one you're talking about is one of these, but in the many years I worked at Cisco they seemed to buy a company every few weeks. Many of them had decent products which Cisco then meticulously destroyed. Luckily there was always kit to preserve for future generations, which I dutifully stacked in my attic.
You used to be able to add your own words to spellcheckers, somehow that went out the window. I rarely see the option for it on a red-lined word now in the context menu, and when it does adding the word seems to make no difference at all.
I believe that the biggest problem in the US is the constitution. It's next to impossible to change so the only way to fix it is replacing it entirely with a new one. But good luck with that...
I used all of these as a kid, and they were the precursor to my C64 and C128. The TI 99/4A was the first real computer I ever used - real in the sense that it had a keyboard!
Just an assumption here, but the project appears to be about the methodology to verify the install. Who holds the keys is an entirely different matter.
All of it is built from source, it's just that the current build process is not easy to audit. The build by definition needs to happen on multiple platforms or cross compiled, a root cert needs to be setup in the windows installer at boot time, and so on.
I agree that this is not an ideal way to boot an ISO, but the general public is unlikely to ever need a multiboot USB stick. I like this project enough to perhaps contribute.
I "own" Finale and the Garritan instrument package, which cost me around $600 on a student license. I remember having to guide my music composition teacher through installing his MIDI interface which connects his keyboard to Finale when he upgraded his computer.
He is the conductor of a local musical group and rewrites the scores for different instruments depending on the orchestra he can find/pay.
This guy has spent thousands of dollars over the years, and now he is faced with.... what? Relearning the interface? Can he still open his old scores, and (rather importantly), will the score "work" in its entirety, with all the accidentals in the right place, the lyrics in the right position and split to the correct notes to be sung, the trumpets in the right key, the timpani using the correct symbols, the repeats and coda correctly defined, the personal additions still working? What about linking each instrument to the correct MIDI output or instrument package?
This goes way beyond just cost, even if for a musician who doesn't make tons of money. The intellectual investment over decades is hard to express to someone who doesn't write music for a living.