Add timer script doc to the website.
Fix erroneous commit.