After the big icon rename, all the links in the docs have to be updated, and we need to copy the right icons.