HTML docs: add whetstone and  creedence