Add zeros to make the numbers line up
Remove timings.html

GitHub won't render it anyway