rename so github/pypi/etc can get the rendering right