use original location for extensions, since all old docs point there