As an example of differentiating different kinds of footnotes, waitbutwhy.com uses different appearances for “interesting extra info” notes vs “citation” notes.
Both kinds also appear as popups when interacted with (certainly an advantage of the digital format).
Isn’t the counterfactual trolley problem setup backwards? It should be counterfactual Omega giving you the better setup (not tying people to the tracks) if it predicts you’ll take the locally “worse” option in the actual case, not the other way around, right?
Because with the current setup you just don’t pull and Omega doesn’t tie people to tracks.