Remove some formatting stuff from index.html; switch to random numbers.