Adding docs html. Let's see if this just works.