This is true pain. To think a rounding error could free grinders like us to solve Actual Problems like disrupting Chrome hegemony, building user-respecting OSes and relighting the now nearly dimmed torch dropped so many years ago by Mozilla.

Hopefully one day we can..