* rename resources
* sed Istio-Manager to Pilot in docs
* sed manager -> Pilot
* updating slides
* remove old images
* Sed in images
* the Pilot -> Pilot
* Istio Manager -> Pilot
* final set of seds
* Fixing most of remaining bad links
Still left :
#google.rpc.Code in reference/api/mixer/status
And the mixer-config-quota-bookinfo.yaml is missing in
https://github.com/istio/istio/tree/master/samples/apps/bookinfo
* Add html checking and ignore localhost urls
fixed typo in layouts/base found by html checking
* Fix duplicate id defined
Those anchors don’t seem used btw
* Adding back html proofer
got removed accidentally it seems
* Fix the last 2 errors
Shriram Rajagopalan
Marsh Gardiner
Martin Taillefer
Laurent Demailly