Try #2: Clean up info div, and fix timer exhaustion error.

[New pull request, as my previous branch was in a bad state and I couldn't figure out how to get it unborked]

Previously, we would call setInterval on every updateInfoDiv update,
leading to T^2 timers being created, and the eventual death of the app.
Also clean up the layout of the info div.