Deleting now unused About.html.
Let's call this 1.3.0.