Ok - but that's the only protest? An open version would satisfy all the requirements? Syncthing.net, or even plain old Bittorrent should do (especially if it's one static file per 500GB).
If you read that document carefully, you can see that the EFF edited one of passages that they quoted and did not mention their edit, which is a big no-no. The original letter says:
(this exact number has been selected for a specific reason,
it has definite practical significant.
which the EFF quoted as
(this exact number has been selected for a specific reason,
it has definite practical significance).
You're right, although the "<" symbol isn't technically correct notation. I think O(phi^n) ⊂ O(2^n) or O(phi^n) ⊊ O(2^n) would be more correct to indicate that the left is a proper subset of the right, given that big O notation refers to sets of functions.
That's certainly true, although notation like `fib_n = O(phi^n)` (rather than `fib_n \in O(phi^n)`) is so ingrained that it's probably too late to fight it. (I seem to remember that Knuth says something to this effect.)
In that spirit, one can adopt a sort of compromise notation: `O(phi^n) = o(2^n)` (where `=` should really be `\subseteq`).
