Use docs' HTML names in setup.py