Run on startup, plus build instructions

We can't use `window.onload`, since this script's loaded well after the
original page is.